Property languages and testing

G.J. Tretmans

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Publication statusPublished - 19 Sep 1991

    Keywords

    • METIS-123069

    Cite this

    Tretmans, G. J. (1991). Property languages and testing. Enschede: Universiteit Twente.
    Tretmans, G.J. / Property languages and testing. Enschede : Universiteit Twente, 1991.
    @book{372fe0a312854f4b80c2c3cbd7fe4175,
    title = "Property languages and testing",
    keywords = "METIS-123069",
    author = "G.J. Tretmans",
    note = "Rapport RACE-SPECS",
    year = "1991",
    month = "9",
    day = "19",
    language = "Undefined",
    publisher = "Universiteit Twente",

    }

    Tretmans, GJ 1991, Property languages and testing. Universiteit Twente, Enschede.

    Property languages and testing. / Tretmans, G.J.

    Enschede : Universiteit Twente, 1991.

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Property languages and testing

    AU - Tretmans, G.J.

    N1 - Rapport RACE-SPECS

    PY - 1991/9/19

    Y1 - 1991/9/19

    KW - METIS-123069

    M3 - Report

    BT - Property languages and testing

    PB - Universiteit Twente

    CY - Enschede

    ER -

    Tretmans GJ. Property languages and testing. Enschede: Universiteit Twente, 1991.