Integrated Formal Methods

MLA

Furia, Kirsten Winter, and Kirsten Winter. Integrated Formal Methods. Springer International Publishing, 2018.

APA

Furia, F., Kirsten Winter, K. Winter, & Winter, K. (2018). Integrated Formal Methods. Springer International Publishing.

Chicago

Furia, Kirsten Winter, and Kirsten Winter. Integrated Formal Methods. : Springer International Publishing, 2018.