Automatic verification of advanced object-oriented features: The AutoProof approach (2012)

by J Tschannen, C A Furia, M Nordio, B Meyer
Venue:In Tools for Practical Software Verification, volume 7682 of LNCS