Pradubsuwun, D. 2025. Verification of Concurrent Go Programs using Timed Trace Theory. Journal of Current Science and Technology. 15, 2 (Mar. 2025), 94. DOI:https://doi.org/10.59796/jcst.V15N2.2025.94.