C/ATLAS单动作测试语句实现的操作语义描述

C/ATLAS单动作测试语句实现的操作语义描述

郭德贵, 刘磊, 张晶

Operational Semantics for Singleaction Statements of C/ATLAS

GUO Degui, LIU Lei, ZHANG Jing

吉林大学学报(理学版) . 2008, (01): 55 -61 .