Formal approaches to software testing
Subtitle: 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 ; revised selected papers
By: Jens Grabowski, Brian Nielsen (eds.).
Contributors: Grabowski, Jens.; Nielsen, Brian.; FATES 2004 (4th : 2004 : Linz, Austria)
Series: Lecture notes in computer science -- 3395.
Publisher: Springer
Published: 2005
Place of publication: Berlin
Language: eng
Number of pages: 224
Subjects: Formal methods (Computer science) -- Congresses.; Computer software -- Testing -- Congresses.
Genres: Congresses.
Other titles: FATES 2004.