BibTeX record phd/dnb/Steinhofel20

download as .bib file

@phdthesis{DBLP:phd/dnb/Steinhofel20,
  author    = {Dominic Steinh{\"{o}}fel},
  title     = {Abstract Execution: Automatically Proving Infinitely Many Programs},
  school    = {Darmstadt University of Technology, Germany},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics