 | Monter d'un niveau |
Mullins, J., & Oarga, R. (juin 2007). Model checking of extended OCL constraints over UML models with SOCLe [Communication écrite]. 9th IFIP International Conference on Formal Methods for Open Object-based distributed Systems (FMOODS 2007), Paphos, Chypre. Lien externe
