Reasoning about UML/OCL class diagrams using constraint logic programming and formula
- Pérez, B.
- Porres, I.
Revista:
Information Systems
ISSN: 0306-4379
Any de publicació: 2019
Volum: 81
Pàgines: 152-177
Tipus: Article