Reasoning about UML/OCL class diagrams using constraint logic programming and formula
- Pérez, B.
- Porres, I.
Revista:
Information Systems
ISSN: 0306-4379
Año de publicación: 2019
Volumen: 81
Páginas: 152-177
Tipo: Artículo