Vol-3193⫷ Vol-3194 ⫸Vol-3195
urn:nbn:de:0074-3194-0


Vol-3194/paper36⫷Vol-3194/paper37⫸Vol-3194/paper38

Reasoning about Smart Contracts via LTL Encoding