Integrated Formal Methods

MLA

Kanade, Takeo, et al. Integrated Formal Methods. Springer Berlin / Heidelberg, 2005.

APA

Kanade, T., Pol, J. van de, Romijn, J., Smith, G., Smith, G. P, & van de Pol, J. C. (2005). Integrated Formal Methods. Springer Berlin / Heidelberg.

Chicago

Kanade, Takeo, Jaco van de Pol, Judi Romijn, Graeme Smith, Graeme P Smith, and Jaco C van de Pol. Integrated Formal Methods. : Springer Berlin / Heidelberg, 2005.