Verifying UML/OCL Operation Contracts.

Jordi Cabot, Robert Claris, Daniel Riera

Browse the full IFM paper archive.