基于轨迹的程序语义之一:轨迹与语义对象
기우궤적적정서어의지일:궤적여어의대상
Semantics of Program Based on Trace Part 1: Trace and Semantic Objects
저자의 최근 논문