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