TY  - ELEC
AU  - Silva
TI  - Verificação da consistência de modelos UML
PY  - 2009///
CY  - Lisboa
PB  - E. C. L. S.
KW  - Engenharia informática
KW  - Teses
KW  - QA76
ER  -