TY  - RPRT
TI  - AutoProof: Auto-active Functional Verification of Object-oriented Programs
AU  - Julian Tschannen
AU  - Carlo A. Furia
AU  - Martin Nordio
AU  - Nadia Polikarpova
PY  - 2015
DO  - 10.1007/978-3-662-46681-0_53
UR  - https://arxiv.org/abs/1501.03063
ID  - 1501.03063
ER  -