FM 2009: Formal Methods

MLA

Cavalcanti, Ana, et al. Fm 2009: Formal Methods. Springer Berlin Heidelberg, 2009.

APA

Cavalcanti, A., Dams, D. R, Kanade, T., Dams, D., & Kittler, J. (2009). FM 2009: Formal Methods. Springer Berlin Heidelberg.

Chicago

Cavalcanti, Ana, Dennis R Dams, Takeo Kanade, Dennis Dams, and Josef Kittler. FM 2009: Formal Methods. : Springer Berlin Heidelberg, 2009.