Dissertação
Dissertation: Reasoning about persistent and concurrent data structures that operate on non-volatile memory (NVM) 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