Integrated Formal Methods

MLA

Erika Ábrahám, Marieke Huisman, and Marieke Huisman. Integrated Formal Methods. Springer International Publishing, 2016.

APA

Erika Ábrahám, M. Huisman, & Huisman, M. (2016). Integrated Formal Methods. Springer International Publishing.

Chicago

Erika Ábrahám, Marieke Huisman, and Marieke Huisman. Integrated Formal Methods. : Springer International Publishing, 2016.