Formal Approaches to Software Testing

MLA

Hutchison, David, et al. Formal Approaches to Software Testing. Springer Berlin / Heidelberg, 2005.

APA

Hutchison, D., Grabowski, J., Kanade, T., Nielsen, B., & Kittler, J. (2005). Formal Approaches to Software Testing. Springer Berlin / Heidelberg.

Chicago

Hutchison, David, Jens Grabowski, Takeo Kanade, Brian Nielsen, and Josef Kittler. Formal Approaches to Software Testing. : Springer Berlin / Heidelberg, 2005.