@inproceedings{AhrendtBubelEllulPacePardoRebiscoulSchneiderFSEN19, author = {Wolfgang Ahrendt and Richard Bubel and Joshua Ellul and Gordon J. Pace and Ra{\'{u}}l Pardo and Vincent Rebiscoul and Gerardo Schneider}, title = {Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier}, booktitle = {Fundamentals of Software Engineering - 8th International Conference, {FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers}, pages = {228--243}, year = {2019}, doi = {10.1007/978-3-030-31517-7\_16} }