APA (7th ed.) Citation

SpringerLink (Online service), Havelund, K., Núñez, M., Roşu, G., & Wolff, B. (2006). Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Klaus Havelund, Manuel Núñez, Grigore Roşu, and Burkhart Wolff. Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Springer Berlin Heidelberg, 2006.