Abstract interpretation based program testing

Patrick Cousot, Radhia Cousot

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 248 and Electronic Proceedings

Cite this