Author Info
Name
Affiliation
Papers
YU GUO
University of Science and Technology of China,
1
Collaborators
Citations 
PageRank 
3
14
0.80
Referers 
Referees 
References 
30
31
15
Title
Citations
PageRank
Year
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems140.802008