FM 2011: Formal Methods

MLA

Butler, Michael, et al. Fm 2011: Formal Methods. Springer Berlin Heidelberg, 2011.

APA

Butler, M., Kanade, T., Schulte, W., & Kittler, J. (2011). FM 2011: Formal Methods. Springer Berlin Heidelberg.

Chicago

Butler, Michael, Takeo Kanade, Wolfram Schulte, and Josef Kittler. FM 2011: Formal Methods. : Springer Berlin Heidelberg, 2011.