Automatic synthesis of optimal invariant assertions: Mathematical foundations

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

Original language	English (US)
Title of host publication	ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA
Publisher	ACM
Pages	1-12
State	Published - 1977

Cite this

@inproceedings{21f6fdab7a9a4cdbad79151e3c645dd7,

title = "Automatic synthesis of optimal invariant assertions: Mathematical foundations",

author = "Patrick Cousot and Radhia Cousot",

year = "1977",

language = "English (US)",

series = "ACM SIGPLAN Notices",

publisher = "ACM",

number = "8",

pages = "1--12",

booktitle = "ACM Symposium on Artificial Intelligence & Programming Languages, Rochester, NY, USA",

}