Pradubsuwun, Denduang. 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.