Rosenfeld, Ricardo. “Introducción a La Verificación De Programas”. Revista Abierta de Informática Aplicada 6, no. 1 (July 26, 2022): 79–100. Accessed November 21, 2024. https://raia.revistasuai.ar/index.php/raia/article/view/11.