Tudor Christian Balan, Wolfram Pfeifer, Adele Veschetti. Deductive Verification of SmartML Smart Contracts with KeY. In Massimo Bartoletti, Diego Marmsoler, editors, 7th International Workshop on Formal Methods for Blockchains, FMBC 2026, Turin, Italy, April 11, 2026. Volume 142 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.