APA (7th ed.) Citation

(2008). Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings.

Chicago Style (17th ed.) Citation

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.

MLA (9th ed.) Citation

Leveraging Applications of Formal Methods, Verification and Validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. 2008.