Adele Veschetti, Richard Bubel, Reiner Hähnle. SmartML: Enhancing Security and Reliability in Smart Contract Development. In Massimo Bartoletti, Claudio Schifanella, Andrea Vitaletti, editors, Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), Turin, Italy, May 14-15, 2024. Volume 3791 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]
Abstract is missing.