Logic-Based Smart Contracts.

Adriana Stancu, Mihaita Dragan

Browse the full WorldCIST paper archive.