Corrección de algoritmos complejos : verificación formal - Silva Ramírez, Esther Lydia (Universidad de Cádiz. Ingenierías y arquitectura., 2017)