MPI-INF Logo
Publications

Server    domino.mpi-inf.mpg.de

Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop

Author, Editor
Author(s):
Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor		dblp
dblp
dblp
Editor(s):
Charatonik, Witold
Ganzinger, Harald		dblp
dblp
BibTeX cite key*:
HPT02
Title, Booktitle
Title*:
Is Logic Effective for Analyzing C Programs?
analysis.ps (81.36 KB)
Booktitle*:
Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi
Event, URLs
Conference URL::
http://www.mpi-sb.mpg.de/conferences/elics02/index.html
Downloading URL:
http://data.mpi-sb.mpg.de/internet/reports.nsf/c125634c000710d0c12560400034f45a/72fac67a84998e9cc1256b6b003b049e?OpenDocument
Event Address*:
Saarbrücken
Language:
English
Event Date*
(no longer used):
-- March 2 - 7, 2002
Organization:
Event Start Date:
4 March 2002
Event End Date:
6 March 2002
Publisher
Name*:
Max-Planck-Institut für Informatik
URL:
http://www.mpi-sb.mpg.de/
Address*:
Saarbrücken, Germany
Type:
Vol, No, Year, pp.
Series:
MPI Research Report
Volume:
MPI-I-2002-2-007
Number:
Month:
March
Pages:
27-30
Year*:
2002
VG Wort Pages:
4
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Download
Access Level:
Public

Correlation
MPG Unit:
MPG Subunit:
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:

@INPROCEEDINGS{HPT02,
AUTHOR = {Hillenbrand, Thomas and Podelski, Andreas and Topi{\'c}, Dalibor},
 EDITOR = {Charatonik, Witold and Ganzinger, Harald},
 TITLE = {Is Logic Effective for Analyzing {C} Programs?},
 BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi},
 PUBLISHER = {Max-Planck-Institut für Informatik},
 YEAR = {2002},
 VOLUME = {MPI-I-2002-2-007},
 PAGES = {27--30},
 SERIES = {MPI Research Report},
 ADDRESS = {Saarbr{\"u}cken},
 MONTH = {March},
}

Entry last modified by Christine Kiesel, 03/20/2007
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Thomas Hillenbrand		Created
03/20/2007 10:17:16 AM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01.09.2003 14:45:44
29.07.2003 15:09:22
29.07.2003 14:52:31
24.07.2003 15:57:39
07.07.2003 15:24:59

File Attachment Icon
analysis.ps