@inproceedings{kasampalis-guth-moore-serbanuta-zhang-filaretti-serbanuta-johnson-rosu-2019-fm, author = "Kasampalis, Theodoros and Guth, Dwight and Moore, Brandon and Serbanuta, Traian Florin and Zhang, Yi and Filaretti, Daniele and Serbanuta, Virgil and Johnson, Ralph and Rosu, Grigore", doi = "https://doi.org/10.1007/978-3-030-30942-8_35", title = "IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain", booktitle = "Proceedings of the 23 International Symposium on Formal Methods (FM'19)", month = "October", year = "2019", pages = "593-610" }