Publicaciones
Ingeniería del software. GRES-UOC.
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007)
11/09/2007
[
Capítulos de libros]
Descripción
UMLtoCSP: Una herramienta para la verificación de modelos mediante Constraint Programming
Investigadores
-
-
- de la Fuente Arcas, Patricia
-