Desenvolvimento da ferramenta VeriGraph: algoritmos de "matching" e reconhecimento de condições negativas de aplicação.
Fecha
2014Autor
Tutor
Evento
Salão de Iniciação Científica (26. : 2014 out. 20-24 : UFRGS, Porto Alegre, RS).
Tipo de presentación
Apresentação oralGrande Área
Ciencias Exactas y de la Tierra
Sesión
Fundamentos da computação
Tema
Fundamentos da computação
Colecciones
Este ítem está licenciado en la Creative Commons License