Sign in

Verifying UML/OCL Operation Contracts.

Jordi CabotRobert ClarisóDaniel Riera
Published in: IFM (2009)
Keyphrases