@inproceedings{AhrendtEtAl19a,
  author    = {Wolfgang Ahrendt and
               Richard Bubel and
               Joshua Ellul and
               Gordon J. Pace and
               Ra\'ul 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, FSEN, Tehran, Iran, May 2019, Proceedings},
  year      = {2019},
  editor    = {Hossein Hojjat and Mieke Massink},
  series    =  {LNCS},
  publisher =  {Springer},
  volume    = {11761}
}