Mostrando 1 - 1 resultados de 1 para a busca '(("by computational in computing program") OR ("based computation from example of"))~', tempo de busca: 1,43s Refinar Resultados
1
... for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are...
Acessar documento
Tese
Exportar CSV Export RIS