@inproceedings{e08c6004693a4b2f9dc2ec8f71af3bc8,
title = "Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings",
author = "Tiziana Margaria and Bernhard Steffen",
year = "2008",
language = "English",
isbn = "3540884785",
series = "Communications in Computer and Information Science",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings",
note = "3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 ; Conference date: 13-10-2008 Through 15-10-2008",
}