TY  - GEN
TI  - Mecanismos de control formal en arquitectura
ER  -