Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
6
2010
1
Galeotti, Juan Pablo. (2010). "Verificación de software usando Alloy". Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.