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