Asteasuain, Fernando. 2023. “Validación Formal De Software Para Misiones De Nano satélites”. Revista Abierta De Informática Aplicada 7 (1): 12-23. https://doi.org/10.59471/raia202353.