APA (7th ed.) Citation
Betarte, G., Luna, C., & Sierra Abbate, L. R. (2007). Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay).
Chicago Style (17th ed.) Citation
Betarte, Gustavo, Carlos Luna, and Luis Ricardo Sierra Abbate. Especificación Y Verificación Formal De Sistemas Críticos En El Instituto De Computación De La Universidad De La República (Uruguay). 2007.
MLA (9th ed.) Citation
Betarte, Gustavo, et al. Especificación Y Verificación Formal De Sistemas Críticos En El Instituto De Computación De La Universidad De La República (Uruguay). 2007.
Warning: These citations may not always be 100% accurate.