The KeY Approach on Hagrid

@InProceedings{VTLTC2020/KeY,
  crossref  = {VTLTC2020},
  pages={8--10},
  author={Stijn de Gouw and Mattias Ulbrich and Alexander Weigl},
  title={{The KeY Approach on Hagrid}},
  booktitle = {VerifyThis Long-term Challenge: Proceedings},
  editor = {Marieke Huismann and Ra\'{u}l E. Monti and Mattias Ulbrich and Alexander Weigl},
  address = {Karlsruhe},
  month=Jun,
  year = 2020,
  doi = {10.5445/IR/1000119426}
}```