Reasoning about UML/OCL class diagrams using constraint logic programming and formula
- Pérez, B.
- Porres, I.
Revue:
Information Systems
ISSN: 0306-4379
Année de publication: 2019
Volumen: 81
Pages: 152-177
Type: Article
