Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera. UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. In Xavier Franch, editor, XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas. pages 385-386, Thomson Editorial, 2007.
@inproceedings{CabotCFR07,
title = {UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming},
author = {Jordi Cabot and Robert Clarisó and Patricia de la Fuente and Daniel Riera},
year = {2007},
researchr = {https://researchr.org/publication/CabotCFR07},
cites = {0},
citedby = {0},
pages = {385-386},
booktitle = {XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas},
editor = {Xavier Franch},
publisher = {Thomson Editorial},
isbn = {978-84-9732-595-0},
}