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