A partir de ahora, este blog se reservará para la asignatura de Máster sobre Software Crítico y Prevención de Accidentes. Por tanto, aquellos alumnos que no cursen dicha asignatura, podrán, si quieren, dejar de consultarlo, pues ya no les conciernen los temas aquí tratados.