Constructing program invariance proof methods

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

Original language	English (US)
Title of host publication	International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980
Pages	8-12
Volume	13
State	Published - 1980

Cite this

@inproceedings{e752134539a442ea81943764866d2174,

title = "Constructing program invariance proof methods",

author = "Patrick Cousot and Radhia Cousot",

year = "1980",

language = "English (US)",

volume = "13",

pages = "8--12",

booktitle = "International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980",

}