Effective Bug Hunting with SPIN and Modex

P. Godefroid (Editor), G.J. Holzmann, T.C. Ruys

    Research output: Contribution to conferencePaperAcademic

    9 Citations (Scopus)
    60 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Effective Bug Hunting with SPIN and Modex'. Together they form a unique fingerprint.