Specification and Verification

Terminé mi primer módulo avanzado, SV, con una calificación de 1.0
Todo tranquilo, todo bien. Este módulo lo hice únicamente porque ya tenía las materias, pero con eso voy a estar más tranquilo el próximo semestre, y también cuando aplique para el doctorado.