FM 2005: Formal Methods

MLA

Fitzgerald, John, et al. Fm 2005: Formal Methods. Springer Berlin / Heidelberg, 2005.

APA

Fitzgerald, J., Hayes, I., Kanade, T., Tarlecki, A., Hayes, I. J, & Kittler, J. (2005). FM 2005: Formal Methods. Springer Berlin / Heidelberg.

Chicago

Fitzgerald, John, Ian Hayes, Takeo Kanade, Andrzej Tarlecki, Ian J Hayes, and Josef Kittler. FM 2005: Formal Methods. : Springer Berlin / Heidelberg, 2005.