Reporte técnico Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay) Autor(es): Betarte, Gustavo - Luna, Carlos - Sierra Abbate, Luis Ricardo
Fecha de publicación: 2007
Institución: Universidad de la República
Otros Autores:

Reporte técnico Hacia una especificación formal de un microcontrolador usado en marcapasos Autor(es): Luna, Carlos - Echenique, Paula - Sierra Abbate, Luis Ricardo
Fecha de publicación: 2008
Institución: Universidad de la República
Otros Autores: