Navegar

Colección

Datos Estadísticas

Lista de

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