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/ReportBook editingAcademic

9 Downloads (Pure)
Original languageEnglish
Place of PublicationArhus, Denmark
PublisherBRICS, University of Aarhus
Number of pages156
Publication statusPublished - 25 Aug 2001

Publication series

Name
PublisherBRICS Notes Series
No.NS-01-4
ISSN (Print)0909-3206

Keywords

  • IR-66262
  • FMT-TESTING
  • EWI-6425

Cite this

@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",

}

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/ReportBook editingAcademic

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 -