Author Info
Name
Affiliation
Papers
HONGLI YANG
Beijing Univ Technol, Coll Comp Sci, Beijing, Peoples R China
1
Collaborators
Citations 
PageRank 
4
6
0.44
Referers 
Referees 
References 
24
80
33
Title
Citations
PageRank
Year
Automatically refining partial specifications for heap-manipulating programs60.442014