| Original language | English |
|---|---|
| Place of Publication | Arhus, Denmark |
| Publisher | BRICS, University of Aarhus |
| Number of pages | 156 |
| Publication status | Published - 25 Aug 2001 |
Publication series
| Name | |
|---|---|
| Publisher | BRICS Notes Series |
| No. | NS-01-4 |
| ISSN (Print) | 0909-3206 |
Keywords
- IR-66262
- FMT-TESTING
- EWI-6425
Cite this
Brinksma, H., & Tretmans, G. J. (Eds.) (2001). Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001. Arhus, Denmark: BRICS, University of Aarhus.
@book{25fe06c276d047079d5bbe1d7b3a69b2,
title = "Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001",
keywords = "IR-66262, FMT-TESTING, EWI-6425",
editor = "Hendrik Brinksma and G.J. Tretmans",
year = "2001",
month = "8",
day = "25",
language = "English",
publisher = "BRICS, University of Aarhus",
number = "NS-01-4",
}
Brinksma, H & Tretmans, GJ (eds) 2001, Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001. BRICS, University of Aarhus, Arhus, Denmark.
Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001. / Brinksma, Hendrik (Editor); Tretmans, G.J. (Editor).
Arhus, Denmark : BRICS, University of Aarhus, 2001. 156 p.Research output: Book/Report › Book editing › Academic
TY - BOOK
T1 - Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001
A2 - Brinksma, Hendrik
A2 - Tretmans, G.J.
PY - 2001/8/25
Y1 - 2001/8/25
KW - IR-66262
KW - FMT-TESTING
KW - EWI-6425
M3 - Book editing
BT - Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001
PB - BRICS, University of Aarhus
CY - Arhus, Denmark
ER -
Brinksma H, (ed.), Tretmans GJ, (ed.). Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001. Arhus, Denmark: BRICS, University of Aarhus, 2001. 156 p.