Margaria, T., & Steffen, B. (2010). Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationMargaria, Tiziana., and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium On Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
MLA CitationMargaria, Tiziana., and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium On Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.