(2008). 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 (Eds.).
Chicago Style (17th ed.) CitationLeveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.). 2008.
MLA (9th ed.) CitationLeveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.). 2008.
Warning: These citations may not always be 100% accurate.