FM 2008: Formal Methods

MLA

Cuellar, Jorge, et al. Fm 2008: Formal Methods. Springer Berlin Heidelberg, 2008.

APA

Cuellar, J., Kanade, T., Maibaum, T. S. E, Maibaum, T., Sere, K., & Kittler, J. (2008). FM 2008: Formal Methods. Springer Berlin Heidelberg.

Chicago

Cuellar, Jorge, Takeo Kanade, Thomas S. E Maibaum, Tom Maibaum, Kaisa Sere, and Josef Kittler. FM 2008: Formal Methods. : Springer Berlin Heidelberg, 2008.