The VerifyThis Collaborative Long Term Challenge

@InBook{DVBOOK,
  author    = {Marieke Huisman and Ra\'ul E. Monti and Mattias Ulbrich and Alexander Weigl},
  publisher = {Springer},
  title     = {{The VerifyThis Collaborative Long Term Challenge}},
  year      = {2020},
  note      = {accepted},
  booktitle = {Deductive Verification -- The next 20 years},
}```