MoonWalker: Veri��?cation of .NET Programs

N.H.M. Aan de Brugh, V.Y. Nguyen, T.C. Ruys

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

    8 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'MoonWalker: Veri��?cation of .NET Programs'. Together they form a unique fingerprint.