Invariance proof methods and analysis techniques for parallel programs

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

Original language	English (US)
Title of host publication	Automatic program construction techniques
Editors	A. Biermann, G. Guiho, Y. Kodratoff
Publisher	Macmillan
Pages	243-271
State	Published - 1984

Cite this

@inbook{c00689658e2e4b9ea6166b2c12243a92,

title = "Invariance proof methods and analysis techniques for parallel programs",

author = "Patrick Cousot and Radhia Cousot",

year = "1984",

language = "English (US)",

pages = "243--271",

editor = "A. Biermann and G. Guiho and Y. Kodratoff",

booktitle = "Automatic program construction techniques",

publisher = "Macmillan",

}