Formal methods in software development | Apuntes, ejercicios y exámenes resueltos