APA
Klaus Havelund M. N. G. R. B. W., . (2006). Formal Approaches to Software Testing and Runtime Verification. Germany: Springer.
Chicago
Klaus Havelund Manuel Núñez Grigore Roşu Burkhart Wolff, . 2006. Formal Approaches to Software Testing and Runtime Verification. Germany: Springer.
Harvard
Klaus Havelund M. N. G. R. B. W., . (2006). Formal Approaches to Software Testing and Runtime Verification. Germany: Springer.
MLA
Klaus Havelund Manuel Núñez Grigore Roşu Burkhart Wolff, . Formal Approaches to Software Testing and Runtime Verification. Germany: Springer. 2006.