Integrated Formal Methods

MLA

Méry, Dominique, et al. Integrated Formal Methods. Springer Berlin Heidelberg, 2010.

APA

Méry, D., Kanade, T., Merz, S., & Kittler, J. (2010). Integrated Formal Methods. Springer Berlin Heidelberg.

Chicago

Méry, Dominique, Takeo Kanade, Stephan Merz, and Josef Kittler. Integrated Formal Methods. : Springer Berlin Heidelberg, 2010.