Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing

Browse the full ATVA paper archive.