Proof-carrying smart contracts
- Thomas Dickerson
- , Paul Gazzillo
- , Maurice Herlihy
- , Vikram Saraph
- , Eric Koskinen
- Brown University
- Stevens Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
12
Scopus
citations