Testing Theory in Practice: a Simple Experiment

R. Terpstra, Luis Ferreira Pires, A.W. Heerink, G.J. Tretmans

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of COST 247 International Workshop on Applied Formal Methods in System Design
    Place of PublicationUniversity of Maribor, Slovenia
    PublisherUniversiteit Twente
    Number of pages16
    ISBN (Print)86-435-0155-7
    Publication statusPublished - 29 Aug 1996


    • METIS-120076

    Cite this