Formal verification of evolutionary changes

@incollection{DBLP:books/sp/19/BeckertMUW19,
	author = {['Bernhard Beckert', 'Jakob Mund', 'Mattias Ulbrich', 'Alexander Weigl']},
	title = {Formal Verification of Evolutionary Changes},
	booktitle = {Managed Software Evolution},
	pages = {309–332},
	year = {2019},
	publisher = {Springer},
	url = {https://doi.org/10.1007/978-3-030-13499-0_11},
	doi = {10.1007/978-3-030-13499-0_11},
	editor = {['Ralf H. Reussner', 'Michael Goedicke', 'Wilhelm Hasselbring', 'Birgit Vogel-Heuser', 'Jan Keim', 'Lukas Märtin']},
	timestamp = {Fri, 31 Jan 2020 21:31:48 +0100},
	biburl = {https://dblp.org/rec/books/sp/19/BeckertMUW19.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}