Lee más sobre Hacia una carrera de 4 Años en computación en la Universidad de la República: Una segunda aproximación
Lee más sobre Verificación dinámica de composiciones en la Internet de las Cosas usando procesamiento de eventos complejos
Lee más sobre Effectiveness and cost of verification techniques: Preeliminary conclusions on five techniques
