Dissertação
{pt_PT=Dissertation: Reasoning about persistent and concurrent data structures that operate on non-volatile memory (NVM)} DRAFT
Orientação
ORIENTADOR
João Fernando Peixoto Ferreira
Departamento de Engenharia Informática (DEI)
Professor Auxiliar