Tópicos Avanzados de Especificación y Verificación Formal de Soft. (2013)
Maestría en Ingeniería de Software,
Universidad Nacional de San Luis,
San Luis, Argentina,
Material
Formal Methods in Software Engineering (2011)
Master in Informatics Engineering,
Universidade do Minho,
Braga, Portugal