BECAS
BORDA Agustin
datos académicos
Título/s
Licenciado en Ciencias de la Computacion
Categoría
BECA INTERNA DOCTORAL
Disciplina científica
Informática y Comunicaciones
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Especialidad
Ingenieria de Software
Tema
Escalabilidad para la Ejecución Simbólica Generalizada
Tema en inglés
Scalability for Generalized Symbolic Execution
Palabras clave
INGENIERÍA DE SOFTWARE // ANÁLISIS DE PROGRAMAS // EJECUCIÓN SIMBÓLICA
Palabras clave en inglés
SOFTWARE ENGINEERING // PROGRAM ANALYSIS // SYMBOLIC EXECUTION
Director
AGUIRRE, NAZARENO MATIAS / INV INDEPENDIENTE
Lugar de trabajo
GRUPO DE INGENIERIA DE SOFTWARE -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
DEPARTAMENTO DE COMPUTACION -
FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES -
[UNRC] UNIVERSIDAD NACIONAL DE RIO CUARTO -
