Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

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 FATES Lecture Notes in Computer Science 2931 Springer 2004 3-540-20894-1 db/conf/fates/fates2003.html