Navegar

Colección

Datos Estadísticas

Lista de

Aguirre, Nazareno
3
2018
2
Castaño, Rodrigo. (2018). "Análisis de ejecuciones parciales de Software Model Checkers". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Pérez, Gervasio Daniel. (2018). "Especificación, diseño e implementación de un entorno de programación concurrente basado en patrones". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.