Sales, Camila Pereira, Instituto Federal de Ciência e Tecnologia de SÃo Paulo - Câmpus Caraguatatuba, 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