Dissertação

{pt_PT=Dissertation: Improving database performance through symbolic execution } DRAFT

Orientação

ORIENTADOR

Miguel Ângelo Marques de Matos

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Paolo Romano

Departamento de Engenharia Informática (DEI)

Professor Associado