On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification

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

    1 Citation (Scopus)
    96 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification'. Together they form a unique fingerprint.