Fingerprint
Dive into the research topics of 'A Formal Model of Algorand Smart Contracts'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Formal Model of Algorand Smart Contracts
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
611
Downloads (Orbit)