Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

MLA

Margaria, Bernhard Steffen, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Springer International Publishing, 2018.

APA

Margaria, M., Bernhard Steffen, B. Steffen, & Steffen, B. (2018). Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. Springer International Publishing.

Chicago

Margaria, Bernhard Steffen, and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. : Springer International Publishing, 2018.