Graf, Marleson, and Luiz C. V. dos Santos.
"Shared Memory Verification for Multicore Chip Designs." <em>Anais do XXXIV Concurso de Teses e Dissertações,
Evento Online, 2021</em>. SBC, 2021,  
pp.67-72.