APA (7th ed.) Citation

Margaria, T., & Steffen, B. (2012). Leveraging Applications of Formal Methods, Verification and Validation.

Chicago Style (17th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. 2012.

MLA (9th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. 2012.

Warning: These citations may not always be 100% accurate.