(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-Zitierstil (17. Ausg.)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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.