Leveraging Applications of Formal Methods, Verification, and Validation

MLA

Margaria, Tiziana, et al. Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg, 2010.

APA

Margaria, T., Kanade, T., Steffen, B., & Kittler, J. (2010). Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg.

Chicago

Margaria, Tiziana, Takeo Kanade, Bernhard Steffen, and Josef Kittler. Leveraging Applications of Formal Methods, Verification, and Validation. : Springer Berlin Heidelberg, 2010.