4g69BLmNqPBYwKJdAOAOjWKgYkrhcZHsG3NekGEV6rzNyzxiY5P0pPwEAk8K
Current position: Home >> Awards and Honours

西安电子科技大学研究生学术年会计算机学院分会优秀论文奖

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

Prev One:西安电子科技大学优秀博士论文