Mostrando 1 - 4 resultados de 4 para a busca '(("and computational in computing program") OR ("using computation from based programming"))~', tempo de busca: 1,29s Refinar Resultados
1
... for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are...
Acessar documento
Tese
4
Publicado em 2016
... that characterize different levels of structuration and an analytical tool proposition based...
Acessar documento
Tese
Exportar CSV Export RIS