Rosenfeld R. Introducción a la Verificación de Programas. Revista Abierta de Informática Aplicada [Internet]. 2022 Jul. 26 [cited 2025 Sep. 30];6(1):79-100. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/11