Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.

Lukas Armborst, Sophie Lathouwers, Marieke Huisman

Browse the full IFM paper archive.