APA citiranje

(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.) Citation

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.). 2008.

MLA citiranje

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.). 2008.