Navegar

Colección

Datos Estadísticas

Lista de

Galeotti, Juan Pablo
6
2010
3
Cardiff, Brian J.. (2010). "Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Bendersky, Pablo Gabriel. (2010). "Hacia un entorno integrado para la verificación de contratos utilizando SAT solvers". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Lanzarotti, Esteban Omar. (2010). "Una generalización de Unsat Core para algoritmos de Sat-Solving basados en DPLL". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.