|
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
Integrating Separation Logic with PPTL
点击次数：
所属单位：西安电子科技大学
教研室：计算理论与技术研究所
发表刊物：The 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013)
项目来源：NSFC Grant Nos. 61133001, 61272118, 61272117, 61202038, 91218301, 61322202, 61373043
关键字：Temporal logic, Separation logic, Heap, Many-dimensional logic
全部作者：田聪,刘鸿瑾
第一作者：陆旭
论文类型：Proceedings Paper
通讯作者：段振华
论文编号：1
学科门类：工学
一级学科：计算机科学与技术
文献类型：C
卷号：LNCS 8332
页面范围：35-47
ISSN号：03029743
是否译文：否
发表时间：2013-10-29
收录刊物：EI、EI