Formal approaches to software testing 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
FATES 2004 (2004 Linz, Austria) Jens Grabowski; Brian Nielsen Ph. D
Berlin Springer New York 2005
Acesso online. A biblioteca também possui exemplares impressos.