Formal Test Automation: The Conference Protocol with PHACT

A.W. Heerink, Hasan Ural (Editor), Robert L. Probert (Editor), J. Feenstra, G.J. Tretmans, Gregor von Bochmann (Editor)

    Research output: Contribution to conference › Paper › peer-review

    135 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Formal Test Automation: The Conference Protocol with PHACT'. Together they form a unique fingerprint.