Towards Domain Refinement for UML/OCL Bounded Verification.

Robert Claris, Carlos A. Gonzlez, Jordi Cabot

Browse the full SEFM paper archive.