Dissertação

Dissertação: Verificação da Correcção de Smart Contracts DRAFT

Documentos da dissertação ainda não disponíveis publicamente

Orientação

ORIENTADOR

José Carlos Alves Pereira Monteiro

Departamento de Engenharia Informática (DEI)

Professor Catedrático

ORIENTADOR

João F. Ferreira