Abstract interpretation: Achievements and perspectives

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000
PublisherScuola Superiore G. Reiss Romoli
StatePublished - 2000

Publication series

NameCompact Disk Paper 224 and Electronic Proceedings

Cite this