Software Engineering and Formal Methods

MLA

Hutchison, David, et al. Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Hinchey, M., & Holcombe, M. (2012). Software Engineering and Formal Methods. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Mike Hinchey, and Mike Holcombe. Software Engineering and Formal Methods. : Springer Berlin Heidelberg, 2012.