|
个人信息Personal Information
工程师
性别：男
毕业院校：中科院研究生院
学位：博士
所在单位：软件学院、国际信息与软件学院
电子邮箱：xinyangao@dlut.edu.cn
扫描关注
Slicing reduction for algebraic verification of SEREs properties
点击次数：
论文类型：会议论文
发表时间：2013-01-01
页面范围：792-795
|
|
工程师
性别：男
毕业院校：中科院研究生院
学位：博士
所在单位：软件学院、国际信息与软件学院
电子邮箱：xinyangao@dlut.edu.cn
点击次数：
论文类型：会议论文
发表时间：2013-01-01
页面范围：792-795