Dissertação

[Dissertação] Program Synthesis with Formal Methods for OutSystems Language DRAFT

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

Orientação

ORIENTADOR

Maria Inês Camarate de Campos Lynce de Faria

Departamento de Engenharia Informática (DEI)

Professor Associado

ORIENTADOR

António Alegria