Cengia, J. A., & Pons, C. (2003). Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos.
Cita Chicago Style (17a ed.)Cengia, Javier Andrés, y Claudia Pons. Una Herramienta Para Verificación Formal De Especificaciones Gráficas Orientadas a Objetos. 2003.
Cita MLA (8a ed.)Cengia, Javier Andrés, y Claudia Pons. Una Herramienta Para Verificación Formal De Especificaciones Gráficas Orientadas a Objetos. 2003.
Precaución: Estas citas no son 100% exactas.