梅宏Hong Mei

 博士生导师  硕士生导师
性别:男

论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

Behavioral Specifications as Types

点击次数:

影响因子:0.0
论文名称:Behavioral Specifications as Types
发表刊物:Journal of Software
备注:1995
卷号:6
期号:5
页面范围:280-289
是否译文:
发表时间:1995-01-01
第一作者:梅宏
全部作者: Yongqiang Sun,梅宏