Formal verification of evolutionary changes

@incollection{DBLP:books/sp/19/BeckertMUW19,
  author    = {Bernhard Beckert and
               Jakob Mund and
               Mattias Ulbrich and
               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 and
               Michael Goedicke and
               Wilhelm Hasselbring and
               Birgit Vogel{-}Heuser and
               Jan Keim and
               Lukas M{\"{a}}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}
}```