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