Software System Verification and Program Derivation.

Software System Verification and Program Derivation. 31-38 1999 German-Argentinian Workshop on Information Technology db/conf/gait/gait1999.html#X99