Algunos Proyectos y Actividades en Métodos Formales, en Uruguay. Instituto de Computación Facultad de Ingeniería Universidad de la República Uruguay.