Author Info
Name
Affiliation
Papers
LUÍS PEDRO ARROJADO DA HORTA
Release Lab., C4, DI, Universidade da Beira Interior, Portugal
1
Collaborators
Citations 
PageRank 
3
0
0.34
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
A tool for proving Michelson Smart Contracts in WHY3<sup>*</sup>00.342020