Deductive Verification of SmartML Smart Contracts with KeY. - Tudor Christian Balan; Wolfram Pfeifer; Adele Veschetti (FMBC, 2026)