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]
@inproceedings{VeschettiBH24,
title = {SmartML: Enhancing Security and Reliability in Smart Contract Development},
author = {Adele Veschetti and Richard Bubel and Reiner Hähnle},
year = {2024},
url = {https://ceur-ws.org/Vol-3791/paper11.pdf},
researchr = {https://researchr.org/publication/VeschettiBH24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), Turin, Italy, May 14-15, 2024},
editor = {Massimo Bartoletti and Claudio Schifanella and Andrea Vitaletti},
volume = {3791},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}