TY  - GEN
AU  - Sosa,Mabel del V.
TI  - Modelización y verificación automática de un proceso de software
ER  -