Navegar

Colección

Datos Estadísticas

Lista de

Uchitel, Sebastián
3
Verificación y Validación Automatizada (2013). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Modelado y Análisis de Sistemas Reactivos y Concurrentes (2009). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
Análisis de Requisitos Temporales (2007). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación