Formal Approaches to Software Testing

MLA

Grieskamp, Wolfgang, et al. Formal Approaches to Software Testing. Springer Berlin / Heidelberg, 2006.

APA

Grieskamp, W., Kanade, T., Weise, C., & Kittler, J. (2006). Formal Approaches to Software Testing. Springer Berlin / Heidelberg.

Chicago

Grieskamp, Wolfgang, Takeo Kanade, Carsten Weise, and Josef Kittler. Formal Approaches to Software Testing. : Springer Berlin / Heidelberg, 2006.