Desenvolvimento da ferramenta VeriGraph: algoritmos de "matching" e reconhecimento de condições negativas de aplicação.
Data
2014Autor
Orientador
Evento
Salão de Iniciação Científica (26. : 2014 out. 20-24 : UFRGS, Porto Alegre, RS).
Tipo de apresentação
Apresentação oralGrande Área
Ciências exatas e da terra
Sessão
Fundamentos da computação
Temática
Fundamentos da computação
Coleções
Este item está licenciado na Creative Commons License