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

CORRECTITUD DE IMPLEMENTACIONES

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.

Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400