From Business-Level Specifications to Smart Contracts for Blockchain-Based Resource-Exchange Systems.

Kushal Soni, Olga De Troyer

Browse the full ICBC paper archive.