Outros Autores: “...http://lattes.cnpq.br/9580905200186919...”

Formal verification applied to attitude control software of unmanned aerial vehicles