Leveraging Applications of Formal Methods, Verification, and Validation

MLA

Lamprecht. Leveraging Applications of Formal Methods, Verification, and Validation. Springer International Publishing, 2016.

APA

Lamprecht, L. (2016). Leveraging Applications of Formal Methods, Verification, and Validation. Springer International Publishing.

Chicago

Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation. : Springer International Publishing, 2016.