Empirical Software Engineering and Verification

MLA

Hutchison, David, et al. Empirical Software Engineering and Verification. Springer Berlin Heidelberg, 2012.

APA

Hutchison, D., Kanade, T., Kittler, J., & Nordio, M. (2012). Empirical Software Engineering and Verification. Springer Berlin Heidelberg.

Chicago

Hutchison, David, Takeo Kanade, Josef Kittler, and Martin Nordio. Empirical Software Engineering and Verification. : Springer Berlin Heidelberg, 2012.