Sistema Eletrônico de Administração de Conferências
Ajuda
Usuário
Login
Senha
Lembrar de mim
Notificações
Visualizar
Assinar
/
Cancelar assinatura de notificações
Conteúdo da Conferência
Pesquisa
Todos
Autor
Título
Resumo
Termos indexados
Texto Completo
Procurar
Por Conferência
Por Autor
Por título
Tamanho da fonte
Capa
Sobre
Acesso
Cadastro
Pesquisa
Edições anteriores
Notícias
Capa
>
Pesquisa
>
Perfil do Autor
Perfil do Autor
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
Este trabalho está licenciado sob uma
Licença Creative Commons Attribution 3.0
.
