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 Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings Communications in Computer and Information Science Springer 17 2008 978-3-540-88478-1 ISoLA db/conf/isola/isola2008.html