Integrated Formal Methods

MLA

Leuschel, Michael, et al. Integrated Formal Methods. Springer Berlin Heidelberg, 2009.

APA

Leuschel, M., Kanade, T., Wehrheim, H., & Kittler, J. (2009). Integrated Formal Methods. Springer Berlin Heidelberg.

Chicago

Leuschel, Michael, Takeo Kanade, Heike Wehrheim, and Josef Kittler. Integrated Formal Methods. : Springer Berlin Heidelberg, 2009.