dos Santos, Luciana Brasil Rebelo, 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