Abstraction in Deductive Verification: Model Fields and Model Methods.

David R. Cok, Gary T. Leavens

Browse the full ISoLA paper archive.