SpringerLink (Online service), Steffen, B., & Margaria, T. (2012). Leveraging applications of formal methods, verification and validation. Applications and case studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Imprint: Springer.
Chicago-viite (17. p.)SpringerLink (Online service), Bernhard Steffen, ja Tiziana Margaria. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Berlin, Heidelberg: Imprint: Springer, 2012.
MLA-viite (8. p.)SpringerLink (Online service), et al. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Imprint: Springer, 2012.