R. . Rosenfeld, “Introducción a la Verificación de Programas”, Revista Abierta de Informática Aplicada, vol. 6, no. 1, pp. 79–100, Jul. 2022, doi: 10.59471/raia202211.