Navegar

Colección

Datos Estadísticas

Lista de

Olivero, Alfredo
1
2010
1
Galeotti, Juan Pablo. (2010). "Verificación de software usando Alloy". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.