APA (7th ed.) Citation

(2008). Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 ; Proceedings. Springer. https://doi.org/10.1007/978-3-540-88479-8

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. Berlin [u.a.]: Springer, 2008. https://doi.org/10.1007/978-3-540-88479-8.

MLA (9th ed.) Citation

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008 ; Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-88479-8.