Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES '01, (Aalborg, Denmark, August 25, 2001)

Ed Brinksma
Jan Tretmans

August 2001


This volume contains the proceedings of FATES '01 held at the University of Aalborg on August 25, 2001, as a satellite workshop of CONCUR '01

Available as PDF.


Last modified: 2003-06-04 by webmaster.