Ir para o conteúdo principal
Tese de doutoramento
Acesso aberto
Single-assignment program verification
Autor(es)
Lourenço, Cláudio Filipe Belo da Silva
Orientador(es)
Pinto, Jorge Sousa
Ficheiros
Cláudio Filipe Belo da Silva Lourenço.pdf
(4.01 MB)
Embargo
Tipo de Documento
Tese de doutoramento
Idioma
Coleções
BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo