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

Hendrik Brinksma (Editor), G.J. Tretmans (Editor)

Research output: Book/Report › Book editing › Academic

15 Downloads (Pure)

Keywords

@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 = aug,

day = "25",

language = "English",

publisher = "BRICS, University of Aarhus",

number = "NS-01-4",

}

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 -