ASTEASUAIN, Fernando. Validación Formal de Software para misiones de nano satélites. Revista Abierta de Informática Aplicada, [S. l.], v. 7, n. 1, p. 12–23, 2023. DOI: 10.59471/raia202353. Disponível em: https://raia.revistasuai.ar/index.php/raia/article/view/53. Acesso em: 1 jul. 2025.