Asteasuain, F. (2023). Formal Validation of Software for Nano Satellite Missions. Revista Abierta De Informática Aplicada, 7(1), 12–23. https://doi.org/10.59471/raia202353