Integrated Formal Methods

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Luigia Petre. Integrated Formal Methods. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Kittler, J., & Petre, L. (2013). Integrated Formal Methods. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Josef Kittler, and Luigia Petre. Integrated Formal Methods. : Springer Berlin Heidelberg, 2013.