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
PublisherACM
Pages91-98
StatePublished - Jan 1997

Cite this

Cousot, P., & Cousot, R. (1997). Parallel combination of abstract interpretation and model-based automatic analysis of software. In R. Cleaveland, & D. Jackson (Eds.), Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France (pp. 91-98). ACM.