Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Wolfgang Grieskamp Carsten Weise Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers 3997 2006 3-540-34454-3 FATES Lecture Notes in Computer Science Springer db/conf/fates/fates2005.html