Asteasuain, Fernando. 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.