@inproceedings{ahrendt:hal-03769118,
  TITLE = {{Verification of Smart Contract Business Logic}},
  AUTHOR = {Ahrendt, Wolfgang and Bubel, Richard and Ellul, Joshua and Pace, Gordon J. and Pardo, Ra{\'u}l and Rebiscoul, Vincent and Schneider, Gerardo},
  URL = {https://inria.hal.science/hal-03769118},
  NOTE = {Part 6: Program Analysis},
  BOOKTITLE = {{8th International Conference on Fundamentals of Software Engineering (FSEN)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Hossein Hojjat and Mieke Massink},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Fundamentals of Software Engineering},
  VOLUME = {LNCS-11761},
  PAGES = {228-243},
  YEAR = {2019},
  MONTH = May,
  DOI = {10.1007/978-3-030-31517-7\_16},
  PDF = {https://inria.hal.science/hal-03769118/file/490001_1_En_16_Chapter.pdf},
  HAL_ID = {hal-03769118},
  HAL_VERSION = {v1},
}