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