Smart contracts and void declarations of intentHoffmann, ThomasAdvanced Information Systems Engineering Workshops : CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019 : proceedings2019 / p. 168-175 https://doi.org/10.1007/978-3-030-20948-3_15 Conference proceeding at Scopus Article at Scopus Article at WOS