Leveraging Applications of Formal Methods, Verification, and Validation

MLA

Hähnle, Reiner, et al. Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg, 2012.

APA

Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., & Steffen, B. (2012). Leveraging Applications of Formal Methods, Verification, and Validation. Springer Berlin Heidelberg.

Chicago

Hähnle, Reiner, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification, and Validation. : Springer Berlin Heidelberg, 2012.