Lista de

SIMULACION
2
Tallar, Nicolás. (2023). "La mayoría sigue sin ser suficiente". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
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.