Author Info
Name
Affiliation
Papers
HANRU JIANG
University of Science and Technology of China, China
2
Collaborators
Citations 
PageRank 
6
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
On incorrectness logic for Quantum programs00.342022
Towards certified separate compilation for concurrent programs00.342019