APA (7th ed.) Citation

SpringerLink (Online service), Margaria, T., & Steffen, B. (2014). Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Springer Berlin Heidelberg : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2014.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Springer Berlin Heidelberg : Imprint: Springer, 2014.