Asteasuain F. Validación Formal de Software para misiones de nano satélites. Revista Abierta de Informática Aplicada [Internet]. 2023 Jun. 30 [cited 2025 Jul. 1];7(1):12-23. Available from: https://raia.revistasuai.ar/index.php/raia/article/view/53