TY  - GEN
AU  - Pons,Claudia Fabiana
TI  - Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z
ER  -