DMCA

AutoProof: Auto-active Functional Verification of Object-oriented Programs

by Julian Tschannen , Carlo A. Furia , Martin Nordio , Nadia Polikarpova