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
Original language | Undefined |
---|---|
Title of host publication | Formal Approaches to Testing of Software 2001 (FATES'01) |
Editors | H. Brinksma, G.J. Tretmans, Hendrik Brinksma |
Place of Publication | Aarhus, Denkmark |
Publisher | BRICS, University of Aarhus |
Pages | 61-76 |
Number of pages | 16 |
Publication status | Published - Aug 2001 |
Event | 1st International Workshop on Formal Approaches to Testing of Software, FATES 2001 - Aarhus, Denmark Duration: 20 Aug 2001 → 25 Aug 2001 Conference number: 1 |
Publication series
Name | BRICS Notes Series |
---|---|
Number | NS-01-4 |
Volume | NS-01-4 |
ISSN (Print) | 0909-3206 |
Workshop
Workshop | 1st International Workshop on Formal Approaches to Testing of Software, FATES 2001 |
---|---|
Abbreviated title | FATES 2001 |
Country/Territory | Denmark |
City | Aarhus |
Period | 20/08/01 → 25/08/01 |
Keywords
- EWI-6454
- IR-66272
- METIS-204176
- FMT-TESTING