Formal Methods for Conformance Testing: Theory Can Be Practical

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

    9 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of Computer Aided Verification Lecture Notes in Computer Science 1633
    Place of PublicationTrento, Italy
    Number of pages3
    Publication statusPublished - 9 Jul 1999


    • METIS-119613

    Cite this