Reasoning about UML/OCL class diagrams using constraint logic programming and formula
- Pérez, B.
- Porres, I.
Revista:
Information Systems
ISSN: 0306-4379
Ano de publicación: 2019
Volume: 81
Páxinas: 152-177
Tipo: Artigo