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)

Constructing program invariance proof methods. / Cousot, Patrick; Cousot, Radhia.

International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13 1980. p. 8-12.

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

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.
Cousot P, Cousot R. Constructing program invariance proof methods. In International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13. 1980. p. 8-12
Cousot, Patrick ; Cousot, Radhia. / Constructing program invariance proof methods. International Workshop on Program Construction, Chateau de Bonas, France, Castera-Verduzan, France, September 8-12, 1980. Vol. 13 1980. pp. 8-12
@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",

}

TY - GEN

T1 - Constructing program invariance proof methods

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1980

Y1 - 1980

M3 - Conference contribution

VL - 13

SP - 8

EP - 12

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

ER -