%0 Thesis
%T Formal verification applied to attitude control software of unmanned aerial vehicles
%U https://tede.ufam.edu.br/handle/tede/6368
%I Universidade Federal do Amazonas