Certifying Findel derivatives for blockchain

Autor: Arusoaie, Andrei
Zdroj: In Journal of Logical and Algebraic Methods in Programming June 2021 121
Databáze: ScienceDirect