Teaching Formal Methods

MLA

Gibbons, Jeremy, et al. Teaching Formal Methods. Springer Berlin Heidelberg, 2009.

APA

Gibbons, J., Kanade, T., Oliveira, J. Nuno, Kittler, J., & Nuno Oliveira, J. (2009). Teaching Formal Methods. Springer Berlin Heidelberg.

Chicago

Gibbons, Jeremy, Takeo Kanade, José Nuno Oliveira, Josef Kittler, and Jose Nuno Oliveira. Teaching Formal Methods. : Springer Berlin Heidelberg, 2009.