TY  - GEN
AU  - Luna,Carlos Daniel
TI  - Taller de especificación, construcción y verificación formales de programas
ER  -