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


Vol-3194/paper36⫷Vol-3194/paper37⫸Vol-3194/paper38
Valeria FiondaGianluigi GrecoMarco Antonio Mastratisi

Reasoning about Smart Contracts via LTL Encoding