Certifying Findel derivatives for blockchain
Autor: | Arusoaie, Andrei |
---|---|
Zdroj: | In Journal of Logical and Algebraic Methods in Programming June 2021 121 |
Databáze: | ScienceDirect |
Externí odkaz: |
Autor: | Arusoaie, Andrei |
---|---|
Zdroj: | In Journal of Logical and Algebraic Methods in Programming June 2021 121 |
Databáze: | ScienceDirect |
Externí odkaz: |