PRADUBSUWUN, D. Verification of Concurrent Go Programs using Timed Trace Theory. Journal of Current Science and Technology, [S. l.], v. 15, n. 2, p. 94, 2025. DOI: 10.59796/jcst.V15N2.2025.94. Disponível em: https://ph04.tci-thaijo.org/index.php/JCST/article/view/6072. Acesso em: 2 apr. 2025.