Pradubsuwun D. Verification of Concurrent Go Programs using Timed Trace Theory. J. Curr. Sci. Technol. [internet]. 2025 Mar. 25 [cited 2025 Jun. 8];15(2):94. available from: https://ph04.tci-thaijo.org/index.php/JCST/article/view/6072