欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Confinement framework for encapsulating objects
ISSN号:2095-2228
期刊名称:Frontiers of Computer Science
时间:2013.4
页码:236-256
相关项目:面向对象程序的形式化规范与验证
作者:
Shu, Qin|Qiu, Zongyan|Wang, Shuling|
同期刊论文项目
面向对象程序的形式化规范与验证
期刊论文 4
会议论文 14
同项目期刊论文
A graph-based generic type system for object-oriented programs
期刊信息
《中国计算机科学前沿:英文版》
主管单位:中华人民共和国教育部
主办单位:高等教育出版社
主编:李未 陆汝钤
地址:北京市朝阳区惠新东街4号富盛大厦15层
邮编:100029
邮箱:
电话:
国际标准刊号:ISSN:2095-2228
国内统一刊号:ISSN:11-5731/TP
邮发代号:80-970
获奖情况:
国内外数据库收录:
美国数学评论(网络版),德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引(扩展库),英国科学文摘数据库
被引量:7