Logic-Based Smart Contracts

Adriana Stancu, Mihaita Dragan. Logic-Based Smart Contracts. In Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, Irena Orovic, Fernando Moreira, editors, Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020. Volume 1159 of Advances in Intelligent Systems and Computing, pages 387-394, Springer, 2020. [doi]

Abstract

Abstract is missing.