Integrated Formal Methods
MLA
Hutchison, David, et al. Integrated Formal Methods. Springer Berlin Heidelberg, 2012.
APA
Hutchison, D., Kanade, T., Gnesi, S., Latella, D., & Treharne, H. (2012). Integrated Formal Methods. Springer Berlin Heidelberg.
Chicago
Hutchison, David, Takeo Kanade, Stefania Gnesi, Diego Latella, and Helen Treharne. Integrated Formal Methods. : Springer Berlin Heidelberg, 2012.
