APA (7th ed.) Citation

SpringerLink (Online service), Petrenko, A., & Ulrich, A. (2004). Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Alexandre Petrenko, and Andreas Ulrich. Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers. Springer Berlin Heidelberg, 2004.