The VerifyThis Collaborative Long Term Challenge

@inbook{DVBOOK,
	author = {['Marieke Huisman', 'Raúl E. Monti', 'Mattias Ulbrich', 'Alexander Weigl']},
	publisher = {Springer},
	title = {The VerifyThis Collaborative Long Term Challenge},
	year = {2020},
	note = {accepted},
	booktitle = {Deductive Verification – The next 20 years}
}