Parallel combination of abstract interpretation and model-based automatic analysis of software

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationProceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France
EditorsR. Cleaveland, D. Jackson
StatePublished - Jan 1997

Cite this