@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"
}