WTSC 22: Protocol-based smart contract generation
Channel: ifca
Date: 2022-04-22

Paper by Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos presented at 6th Workshop on Trusted Smart Contracts.
The conference program is at https://fc22.ifca.ai/wtsc/program.html