Hits:
Title of Award:西安电子科技大学研究生学术年会计算机学院分会优秀论文奖
Title of Achievement:Unified Model Checking for Heap-Manipulating Progr
Institution:西安电子科技大学
Teaching and Research Group:计算理论与技术研究所
Order of Affiliations of Authors:1
Granted by:计算机学院
School Sign:西安电子科技大学
First Author:Luxury
Type of Outcome:Thesis
Level of Award:University
Grade of Award:Excellence award
Discipline:Engineering
First-Level Discipline:Computer Science and Technology
Date of Award:2012-12-20
Number of Participants:2
Date:2019-01-22
Co-author:DUANZHENHUA