Navegar

Colección

Datos Estadísticas

Lista de

Aguirre, Nazareno Matías
2
2014
2
Ponzio, Pablo Daniel. (2014). "Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Regis, Germán Enrique. (2014). "Especificación formal y verificación de propiedades temporales de procesos de negocios". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.