Scalas, Cristian
7  Ergebnisse:
Personensuche X
?
 
?
 
?
5

A Formal Model of Algorand Smart Contracts:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
 
?
6

A Formal Model of Algorand Smart Contracts:

Bartoletti, Massimo ; Bracciali, Andrea ; Lepore, Cristian..
https://orbit.dtu.dk/en/publications/fb218c20-1c5b-4d1d-8952-b574d25ea03c.  , 2021
 
1-7