Lista de

REPLICACION
2
Gómez, Pablo Nicolás. (2021). "Verificación de correctitud para tipos de datos replicados en Coq". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Lamela, Emanuel. (2020). "Una caracterización operacional para modelos de consistencia transaccional". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.