Computer-aided Specification and Verification of Annotated Object-Oriented Programs.

Frank S. de Boer Cees Pierik Computer-aided Specification and Verification of Annotated Object-Oriented Programs. 163-177 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#BoerP02