Franck Cassez. Deductive Verification of Smart Contracts (Invited Talk). In Bruno Bernardo, Diego Marmsoler, editors, 5th International Workshop on Formal Methods for Blockchains, FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg. Volume 118 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.