Lista de

VERIFICACION
3
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.