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