En este espacio encontrarás las actividades a realizar a lo largo del periodo escolar:
Lineamientos para el Trabajo de investigación. La Verificación de software y los métodos formales
Equipos y Temas para Exposición: Estándares en la Verificación y Validación.