Dissertação

{pt_PT=Dissertação: Verificação da Correcção de Smart Contracts} DRAFT

Orientação

ORIENTADOR

José Carlos Alves Pereira Monteiro

Departamento de Engenharia Informática (DEI)

Professor Catedrático

ORIENTADOR

João F. Ferreira