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

@Proceedings{Grabowski05+,
	author          = {Jens Grabowski and Brian Nielsen},
	title           = {{Formal Approaches to Software Testing. 4th International Workshop, FATES 2004, Linz, Austria, September 2004, Revised Selected Papers}},
	series          = {4th International Workshop, FATES 2004, Revised Selected Papers},
	address         = { Linz, Austria},
	publisher       = {Springer},
	number          = {3395},
	month           = feb,
	year            = 2005,
}