Dissertação

{pt_PT=Dissertation: Functional Programming Verification} DRAFT

Orientação

ORIENTADOR

João Fernando Peixoto Ferreira

Departamento de Engenharia Informática (DEI)

Professor Auxiliar