Rosenfeld, R. . Introducción a La Verificación De Programas. Revista Abierta de Informática Aplicada 2022, 6 (1), 79-100. https://doi.org/10.59471/raia202211.