Formal Approaches to Software Testing and Runtime Verification

MLA

Havelund, Klaus, et al. Formal Approaches to Software Testing and Runtime Verification. Springer Berlin Heidelberg, 2006.

APA

Havelund, K., Kanade, T., Núñez, M., Roşu, G., & Wolff, B. (2006). Formal Approaches to Software Testing and Runtime Verification. Springer Berlin Heidelberg.

Chicago

Havelund, Klaus, Takeo Kanade, Manuel Núñez, Grigore Roşu, and Burkhart Wolff. Formal Approaches to Software Testing and Runtime Verification. : Springer Berlin Heidelberg, 2006.