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