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

    14 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