The rôle of abstract interpretation in formal methods

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

Original languageEnglish (US)
Title of host publicationProceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007
Pages135-137
Number of pages3
DOIs
StatePublished - 2007
Event5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 - London, United Kingdom
Duration: Sep 10 2007Sep 14 2007

Other

Other5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007
CountryUnited Kingdom
CityLondon
Period9/10/079/14/07

Fingerprint

Formal methods

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Cousot, P. (2007). The rôle of abstract interpretation in formal methods. In Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 (pp. 135-137). [4343930] https://doi.org/10.1109/SEFM.2007.42

The rôle of abstract interpretation in formal methods. / Cousot, Patrick.

Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. 2007. p. 135-137 4343930.

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

Cousot, P 2007, The rôle of abstract interpretation in formal methods. in Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007., 4343930, pp. 135-137, 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, London, United Kingdom, 9/10/07. https://doi.org/10.1109/SEFM.2007.42
Cousot P. The rôle of abstract interpretation in formal methods. In Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. 2007. p. 135-137. 4343930 https://doi.org/10.1109/SEFM.2007.42
Cousot, Patrick. / The rôle of abstract interpretation in formal methods. Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. 2007. pp. 135-137
@inproceedings{89eadbd7734b402390346f155a19ee51,
title = "The r{\^o}le of abstract interpretation in formal methods",
author = "Patrick Cousot",
year = "2007",
doi = "10.1109/SEFM.2007.42",
language = "English (US)",
isbn = "0769528848",
pages = "135--137",
booktitle = "Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007",

}

TY - GEN

T1 - The rôle of abstract interpretation in formal methods

AU - Cousot, Patrick

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?scp=47949108688&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=47949108688&partnerID=8YFLogxK

U2 - 10.1109/SEFM.2007.42

DO - 10.1109/SEFM.2007.42

M3 - Conference contribution

SN - 0769528848

SN - 9780769528847

SP - 135

EP - 137

BT - Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007

ER -