Formal Methods and Software Engineering

MLA

Butler, Michael, et al. Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2007.

APA

Butler, M., Hinchey, M. G, Hinchey, M. Gerard, Kanade, T., Larrondo-Petrie, M. M, & Kittler, J. (2007). Formal Methods and Software Engineering. Springer Berlin Heidelberg.

Chicago

Butler, Michael, Michael G Hinchey, Michael Gerard Hinchey, Takeo Kanade, María M Larrondo-Petrie, and Josef Kittler. Formal Methods and Software Engineering. : Springer Berlin Heidelberg, 2007.