Integrated Formal Methods

MLA

Davies, Jim, et al. Integrated Formal Methods. Springer Berlin Heidelberg, 2007.

APA

Davies, J., Gibbons, J., Kanade, T., & Kittler, J. (2007). Integrated Formal Methods. Springer Berlin Heidelberg.

Chicago

Davies, Jim, Jeremy Gibbons, Takeo Kanade, and Josef Kittler. Integrated Formal Methods. : Springer Berlin Heidelberg, 2007.