Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Tiziana Margaria, Bernhard Steffen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings
Publication statusPublished - 2008
Externally publishedYes
Event3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 - Porto Sani, Greece
Duration: 13 Oct 200815 Oct 2008

Publication series

NameCommunications in Computer and Information Science
Volume17 CCIS
ISSN (Print)1865-0929

Conference

Conference3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008
Country/TerritoryGreece
CityPorto Sani
Period13/10/0815/10/08

Cite this