Reasoning about Smart Contracts via LTL EncodingDownload PDF

Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi

Published: 01 Jan 2022, Last Modified: 21 Feb 2024SEBD 2022Readers: Everyone
0 Replies