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 (17η εκδ.)SpringerLink (Online service), Alexandre Petrenko, και 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 εκδ.)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.
