Tim A. C. Willemse (auth.)

{PDF} Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.)