Formal Methods for Conformance Testing: Theory Can Be Practical!

Hendrik Brinksma, N. Halbwachs (Editor), D. Peled (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    Fingerprint

    Dive into the research topics of 'Formal Methods for Conformance Testing: Theory Can Be Practical!'. Together they form a unique fingerprint.