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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France
Editors	R. Cleaveland, D. Jackson
Publisher	ACM
Pages	91-98
State	Published - Jan 1997

Cite this

Parallel combination of abstract interpretation and model-based automatic analysis of software. / Cousot, Patrick; Cousot, Radhia.
Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France. ed. / R. Cleaveland; D. Jackson. ACM, 1997. p. 91-98.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@inproceedings{e27c919fbda041d6a4be85eb9fec1726,

title = "Parallel combination of abstract interpretation and model-based automatic analysis of software",

author = "Patrick Cousot and Radhia Cousot",

year = "1997",

month = jan,

language = "English (US)",

pages = "91--98",

editor = "R. Cleaveland and D. Jackson",

booktitle = "Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France",

publisher = "ACM",

}

TY - GEN

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

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1997/1

Y1 - 1997/1

M3 - Conference contribution

SP - 91

EP - 98

BT - Proceedings of the 1st ACM SIGPLAN Workshop on Automatic Analysis of Software, AAS '97, Paris, France

A2 - Cleaveland, R.

A2 - Jackson, D.

PB - ACM

ER -