@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",
    booktitle = "Proceedings of the 23 International Symposium on Formal Methods (FM'19)",
    year = "2019",
    title = "IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain"
}