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