The KeY Approach on Hagrid

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