@ARTICLE{Ganzinger:2001:EDM,
AUTHOR = {Ganzinger, Harald},
TITLE = {Efficient deductive methods for program analysis},
JOURNAL = {ACM SIGPLAN Notices},
PUBLISHER = {ACM},
YEAR = {2001},
NUMBER = {3},
VOLUME = {36},
PAGES = {102--103},
ADDRESS = {New York, USA},
MONTH = {March},
ISBN = {0362-1340},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
01/17/2002 06:07:55 PM |
Revisions
3.
2.
1.
0.
| Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Christine Kiesel
| Edit Dates
28.07.2003 17:17:20
07.07.2003 15:55:54
03/28/2002 12:56:43 AM
17.01.2002 18:14:30
|