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