Leveraging applications of formal methods, verification, and validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18 - 21, 2010 ; proceedings. Springer.
Chicago Style (17th ed.) CitationLeveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18 - 21, 2010 ; Proceedings. Berlin [u.a.]: Springer.
MLA (9th ed.) CitationLeveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18 - 21, 2010 ; Proceedings. Springer.
Warning: These citations may not always be 100% accurate.