Pradubsuwun, D. Verification of Concurrent Go Programs using Timed Trace Theory. JCST 2025, 15, 94.