Margaria T. Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / / edited by Tiziana Margaria, Bernhard Steffen. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-540-88479-8