Livre

Formal Approaches to Software Testing ...

Petrenko, A. and Ulrich, A. Formal Approaches to Software Testing. Third International Workshop on Formal Approaches to Testing of Software, FATES 2003. Montreal, Quebec, Canada, October 6th, 2003 Berlin : Springer-Verlag, 2004. 267 p. . [LNCS 2931]