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

Ed Brinksma
Jan Tretmans
(editors)

August 2001

Abstract:

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.