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