Theory and Practice of Formal Methods

MLA

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Marcello Bonsangue, and Einar Broch Johnsen. Theory and Practice of Formal Methods. Springer International Publishing, 2016.

APA

Erika Ábrahám, E. Broch Johnsen, Bonsangue, M., & Johnsen, E. Broch. (2016). Theory and Practice of Formal Methods. Springer International Publishing.

Chicago

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Marcello Bonsangue, and Einar Broch Johnsen. Theory and Practice of Formal Methods. : Springer International Publishing, 2016.