Asteasuain, F. 2023. Validación Formal de Software para misiones de nano satélites. Revista Abierta de Informática Aplicada. 7, 1 (Jun. 2023), 12–23. DOI:https://doi.org/10.59471/raia202353.