Sciweavers

AIIA
2007
Springer

Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

14 years 5 months ago
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where AIIA
Authors Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
Comments (0)