Up a level |
Mullins, J., & Oarga, R. (2007, June). Model checking of extended OCL constraints over UML models with SOCLe [Paper]. 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007), Paphos, Chypre. External link