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