|
Proceedings of the Workshop on Formal Approaches to Testing of Software,
FATES '01, (Aalborg, Denmark, August 25, 2001)
Ed Brinksma
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. |