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