Asteasuain F. Formal Validation of Software for Nano Satellite Missions. Revista Abierta de Informática Aplicada [Internet]. 30 de junio de 2023 [citado 20 de septiembre de 2024];7(1):12-23. Disponible en: https://raia.revistasuai.ar/index.php/raia/article/view/53