Fleck, A., 		Silva, G., & 		Becker, L.
(2025).
 Verificação Formal de Código Fonte de Sistema Embarcado em um Veículo Aéreo Não Tripulado.
In <em>Anais Estendidos do XV Simpósio de Engenharia de Sistemas Computacionais</em>, (pp. 45-48). Porto Alegre: SBC.
doi:10.5753/sbesc_estendido.2025.15314