Compositional Testing with ioco

A. Petrenko (Editor), H.M. van der Bijl, Arend Rensink, A. Ulrich (Editor), G.J. Tretmans

    Research output: Contribution to conferencePaperpeer-review

    85 Citations (Scopus)
    129 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Compositional Testing with ioco'. Together they form a unique fingerprint.