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

Marieke Huisman

Browse the full ISoLA paper archive.