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