Constructing program invariance proof methods

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationInternational Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980
Pages8-12
Volume13
StatePublished - 1980

Cite this

Cousot, P., & Cousot, R. (1980). Constructing program invariance proof methods. In International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980 (Vol. 13, pp. 8-12)