Asteasuain, F. . (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