Doctoral Degree

大连理工大学

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE
Home > Scientific Research > Paper Publications

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC

Date of Publication:2022-10-02 Hits:

Date of Publication:2022-10-02
Journal:Journal of Information Security and Applications
Affiliation of Author(s):软件学院
Volume:31
Issue:,SI
Page Number:61-74
ISSN No.:2214-2126