Rosenfeld, R. . Introducción a La Verificación De Programas. RAIA 2022, 6, 79-100.