|
个人信息Personal Information
副教授
硕士生导师
性别：男
毕业院校：大连理工大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程
办公地点：综合楼423
电子邮箱：hougang@dlut.edu.cn
扫描关注
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
点击次数：
发表时间：2022-10-02
发表刊物：Journal of Information Security and Applications
所属单位：软件学院
卷号：31
期号：,SI
页面范围：61-74
ISSN号：2214-2126