Verifying OCL Specifications of UML Models: Tool Support and Compositionality - Couverture souple

 
9783865411426: Verifying OCL Specifications of UML Models: Tool Support and Compositionality