VerifyThis long-term challenge: proceedings

@Proceedings{VTLTC2020,
  title = {VerifyThis Long-term Challenge: Proceedings},
  editor = {Marieke Huismann and Ra\'{u}l E. Monti and Mattias Ulbrich and Alexander Weigl},
  address = {Karlsruhe},
  booktitle={},
  month=Jun,
  year = 2020,
  size = {26 pages},
  doi = {10.5445/IR/1000119426}
}```