0% acharam este documento útil
Carregando
Escolar Documentos
Profissional Documentos
Cultura Documentos
Documento
Universidade de Brasília: Vericação de Propriedades do Cálculo λex em Coq
Adicionado por Washington Ribeiro
Documento
Dissertacao Final
Adicionado por Washington Ribeiro