Author Info
Name
Affiliation
Papers
SHAOBO HE
University of Utah, Salt Lake City, USA
1
Collaborators
Citations 
PageRank 
2
3
0.36
Referers 
Referees 
References 
28
83
33
Title
Citations
PageRank
Year
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.30.362018