Created on July 01, 2023
2023
Our paper Reactive Synthesis of Smart Contract Control Flows was accepted at ATVA’23!