Tesis de Posgrado -

Navegar

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

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián

2018

Castaño, Rodrigo. (2018). "Análisis de ejecuciones parciales de Software Model Checkers". Tesis Doctoral. 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