Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004

Б2.1, Б2.2, Б3.54.

Formal Approaches to Software Testing: Revised Selected Papers/4th International Workshop, FATES 2004. Linz, Austria, September 2004Ed. by Grabowski J., Nielsen B..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3395.-225 p.-(Lecture Notes in Computer Science).