Title | Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers |
---|---|
Author | Lars Frantzen, Jan Tretmans, Tim A. C. Willemse (auth.), Jens Grabowski, Brian Nielsen (eds.) |
Year | 2005 |
Edition | 1 |
Volume | |
Series | Lecture Notes in Computer Science 3395 : Programming and Software Engineering |
Publisher | Springer-Verlag Berlin Heidelberg |
City | |
Language | English |