VerifyThis long-term challenge: proceedings

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