corrección de algoritmos complejos : verificación formal

esther lydia silva ramírez,manuel lópez coello · universidad de cádiz. servicio de publicaciones