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

Publication series

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

Other

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

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] (Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007). https://doi.org/10.1109/SEFM.2007.42