Verificación formal de algoritmos : ejercicios resueltos - Silva Ramírez, Esther Lydia (Universidad de Cádiz. Ingenierías y arquitectura., 2018)