Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos. Protocol-Based Smart Contract Generation. In Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala, editors, Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers. Volume 13412 of Lecture Notes in Computer Science, pages 555-582, Springer, 2022. [doi]
@inproceedings{FalcaoMV22,
title = {Protocol-Based Smart Contract Generation},
author = {Afonso Falcão and Andreia Mordido and Vasco T. Vasconcelos},
year = {2022},
doi = {10.1007/978-3-031-32415-4_34},
url = {https://doi.org/10.1007/978-3-031-32415-4_34},
researchr = {https://researchr.org/publication/FalcaoMV22},
cites = {0},
citedby = {0},
pages = {555-582},
booktitle = {Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers},
editor = {Shin'ichiro Matsuo and Lewis Gudgeon and Ariah Klages-Mundt and Daniel Perez Hernandez and Sam Werner and Thomas Haines and Aleksander Essex and Andrea Bracciali and Massimiliano Sala},
volume = {13412},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-32415-4},
}