北京邮电大学主页平台管理系统易秋萍--中文主页-- Efficient Loop-Extended Model Checking of Data Structure Methods

个人信息

博士生导师硕士生导师
学位：博士学位
性别：女
毕业院校：中国科学院软件研究所
学历：研究生毕业
在职信息：在职
所在单位：计算机学院（国家示范性软件学院）
电子邮箱：

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

发布时间：2021-11-29 点击次数：

发表刊物：International Conferences ASEA
论文类型：论文集
学科门类：工学
一级学科：计算机科学与技术*
是否译文：否
发表时间：2011-12-12