博士生导师 硕士生导师 学位:博士学位 性别:女 毕业院校:中国科学院软件研究所 学历:研究生毕业 在职信息:在职 所在单位:计算机学院(国家示范性软件学院) 电子邮箱:76be96a9e8778c3d29f38594dc10da5cbd99a314521edd76b8d2791b51cecbac31be1ac1989bbab80c3c3c10ed1337ac4b420b55198128d1e7e2d68d57c664bb7becc8034c35836b11d072745068454dd7d2d3db3cc200e55e9a06bfca12cf3446f950f910db4c3d38c3279cc8a0f1fffa6deee904a21737f6af1405111e4898
论文名称:Efficient Loop-Extended Model Checking of Data Structure Methods 发表刊物:International Conferences ASEA 论文类型:论文集 学科门类:工学 一级学科:计算机科学与技术* 是否译文:否 发表时间:2011-12-12 发表时间:2011-12-12
上一条:Post conditioned symbolic execution