Tesis de Grado -

Navegar

Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Lista de

VERIFICACION

García, Felicitas. (2025). "MimicryMonitors : verificación de programas con fragmentos comunes". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Tarzia, Chiara. (2024). "EPAs para REST APIs con EvoMaster". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Torres, Edén. (2023). "Generador de abstracciones para smart contracts". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Bokser, Brian Ariel. (2019). "Verificación de invariantes en tipos de datos replicados con consistencia mixta". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.