Povoa, Lucas Venezian, <span>ITA - Instituto Tecnológico de Aeronáutica</span>, Brasil

• 9º Congresso de Iniciação Científica e Tecnológica do IFSP - Ciências Exatas e da Terra
  UMA ABORDAGEM PARA APLICAR VERIFICAÇÃO FORMAL A PROJETOS DE SOFTWARE UTILIZANDO APOIO COMPUTACIONAL
  Resumo