FM 2006: Formal Methods

MLA

Misra, Jayadev, et al. Fm 2006: Formal Methods. Springer Berlin / Heidelberg, 2006.

APA

Misra, J., Kanade, T., Nipkow, T., & Sekerinski, E. (2006). FM 2006: Formal Methods. Springer Berlin / Heidelberg.

Chicago

Misra, Jayadev, Takeo Kanade, Tobias Nipkow, and Emil Sekerinski. FM 2006: Formal Methods. : Springer Berlin / Heidelberg, 2006.