Leveraging Applications of Formal Methods, Verification and Validation

MLA

Tiziana Margaria, Bernhard Steffen, Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Springer Berlin Heidelberg, 2008.

APA

Tiziana Margaria, B. Steffen, Margaria, T., & Steffen, B. (2008). Leveraging Applications of Formal Methods, Verification and Validation. Springer Berlin Heidelberg.

Chicago

Tiziana Margaria, Bernhard Steffen., Tiziana Margaria, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. : Springer Berlin Heidelberg, 2008.