Cardoso, D., 		Foss, L., & 		Du Bois, A.
(2021).
 A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System.
In <em>Anais do VI Workshop-Escola de Informática Teórica</em>, (pp. 9-16). Porto Alegre: SBC.
doi:10.5753/weit.2021.18916