Lista de

COMPUTACION
97
2007
3
López Pombo, Carlos Gustavo. (2007). "Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.
Garbervetsky, Diego. (2007). "Síntesis de especificaciones paramétricas de utilización de la memoria dinámica". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.
Schapachnik, Fernando. (2007). "Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador". Tesis Doctoral. Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.