C/ATLAS单动作测试语句实现的操作语义描述
C/ATLAS단동작측시어구실현적조작어의묘술
Operational Semantics for Single-action Statements of C/ATLAS
저자의 최근 논문