Formal Methods and Testing

MLA

Hierons, Robert M, et al. Formal Methods and Testing. Springer Berlin Heidelberg, 2008.

APA

Hierons, R. M, Bowen, J. P, Bowen, J. Peter, Harman, M., & Kanade, T. (2008). Formal Methods and Testing. Springer Berlin Heidelberg.

Chicago

Hierons, Robert M., Jonathan P Bowen, Jonathan Peter Bowen, Mark Harman, and Takeo Kanade. Formal Methods and Testing. : Springer Berlin Heidelberg, 2008.