Dissertação
Dissertation: Construction of Certified Software DRAFT
Documentos da dissertação ainda não disponíveis publicamente
Orientação
ORIENTADOR
João Fernando Peixoto Ferreira
Departamento de Engenharia Informática (DEI)
Professor Auxiliar