Tese de doutoramento Acesso aberto

Verification, slicing, and visualization of programs with contracts

Autor(es)
Orientador(es)

Ficheiros

Daniela Carneiro da Cruz.pdf (6.28 MB)

Embargo

Tipo de Documento

Tese de doutoramento

Idioma

Coleções

BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo
UM