Author Info
Name
Affiliation
Papers
ANITHA GOLLAMUDI
Harvard University, Cambridge, USA
1
Collaborators
Citations 
PageRank 
10
48
3.11
Referers 
Referees 
References 
180
17
4
Search Limit
100180
Title
Citations
PageRank
Year
Formal Verification of Smart Contracts: Short Paper483.112016