Prova semi-automática de propriedades de linguagens de programação
![Thumbnail](/bitstream/handle/10183/52113/Resumo_200801553.pdf.jpg?sequence=3&isAllowed=y)
Ver
Fecha
2008Autor
Tutor
Evento
Salão de Iniciação Científica (20. : 2008 out. 20-24 : UFRGS, Porto Alegre, RS).
Materia
Tipo de presentación
Apresentação oralGrande Área
Ciencias Exactas y de la Tierra
En
Salão de Iniciação Científica (20. : 2008 out. 20-24 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2008.
Sesión
Fundamentos da computação
Colecciones
Este ítem está licenciado en la Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)