Using Relational and Behavioural Semantics in the Verification of Object Models.

Christie Bolton Jim Davies Using Relational and Behavioural Semantics in the Verification of Object Models. 163-182 2000 conf/fmoods/2000 FMOODS db/conf/fmoods/fmoods2000.html#BoltonD00