Author Info
Name
Affiliation
Papers
M. LEINO
Microsoft Research, Redmond, WA
1
Collaborators
Citations 
PageRank 
1
3
0.41
Referers 
Referees 
References 
9
7
4
Title
Citations
PageRank
Year
Developing verified programs with dafny30.412013