Author Info
Name
Affiliation
Papers
SUMANTH PRABHU
Chennai Mathematical Institute
1
Collaborators
Citations 
PageRank 
4
0
0.34
Referers 
Referees 
References 
0
23
5
Title
Citations
PageRank
Year
Concurrent Program Verification with Invariant-Guided Underapproximation.00.342017