计算机工程与科学2007，Vol.29Issue(11)：102-104,3.
集成CCS和B语言的形式化方法
A Formalized Method of Integrating CCS and B
匡春临 1潘孝铭 1蒋胜利2
作者信息
- 1. 华侨大学信息学院,福建,泉州,362021
- 2. 洛阳师范学院计算机系,河南,洛阳,471022
- 折叠
摘要
关键词
形式化方法/CCS/B/集成分类
信息技术与安全科学引用本文复制引用
匡春临,潘孝铭,蒋胜利..集成CCS和B语言的形式化方法[J].计算机工程与科学,2007,29(11):102-104,3.基金项目
华侨大学高层次人才科研启动基金资助项目 （）
