Doctoral Degree

大连理工大学

Personal Information

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

VIEW MORE
Home > Scientific Research > Paper Publications

基于层次化时间STM软件设计的形式化验证

Date of Publication:2013-01-01 Hits:

Date of Publication:2013-01-01
Journal:2013年全国理论计算机科学学术年会
Affiliation of Author(s):软件学院
Page Number:42-46
Note:新增回溯数据