A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.

Claudia Pons A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. 16-17 1998 conf/ecoopw/1998 ECOOP Workshops db/conf/ecoopw/ecoopw98.html#Pons98