Marleson Graf and Luiz C. Santos. 2021.
 Shared Memory Verification for Multicore Chip Designs. In <em>Anais do XXXIV Concurso de Teses e Dissertações</em>, julho 18, 2021, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 67-72. DOI: <a href="https://doi.org/10.5753/ctd.2021.15760">https://doi.org/10.5753/ctd.2021.15760</a>.