AutoProof meets some verification challenges

Julian Tschannen, Carlo A. Furia, Martin Nordio. AutoProof meets some verification challenges. STTT, 17(6):745-755, 2015. [doi]

Abstract

Abstract is missing.