@inbook{8c938d94fdea47148f27af431d444651,
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 = "2009",
language = "English",
isbn = "9783540884781",
series = "Communications in Computer and Information Science",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Communications in Computer and Information Science",
}