Specifying and Checking Refinement Relationships in VDM++.

Yojiro Kawamata, Christian Sommer, Fuyuki Ishikawa, Shinichi Honiden

Browse the full SEFM paper archive.