AutoProof meets some verification challenges

Julian Tschannen, Carlo A. Furia, Martin Nordio
2014 International Journal on Software Tools for Technology Transfer (STTT)  
doi:10.1007/s10009-014-0300-y fatcat:re5smgmenrhv7bxrrubifx64mq