Formal Analysis of Smart Contracts: Applying the KeY System

@incollection{schiffl2020formal,
  title     = {Formal Analysis of Smart Contracts: Applying the KeY System},
  author    = {Jonas Schiffl and Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel},
  booktitle = {Deductive Software Verification: Future Perspectives},
  editor    = {Wolfgang Ahrendt and
               Bernhard Beckert and
               Richard Bubel and
               Reiner H{\"a}hnle and
               Mattias Ulbrich},
  pages     = {204--218},
  year      = {2020},
  month     = dec,
  series    = {Lecture Notes in Computer Science},
  volume    = {12345},
  publisher = {Springer}
}