FM 2012: Formal Methods
MLA
Hutchison, David, et al. Fm 2012: Formal Methods. Springer Berlin Heidelberg, 2012.
APA
Hutchison, D., Kanade, T., Kittler, J., & Mery, D. (2012). FM 2012: Formal Methods. Springer Berlin Heidelberg.
Chicago
Hutchison, David, Takeo Kanade, Josef Kittler, and Dominique Mery. FM 2012: Formal Methods. : Springer Berlin Heidelberg, 2012.
