@phdthesis{Stahlbauer2020, author = {Andreas Stahlbauer}, title = {Abstract Transducers for Software Analysis and Verification}, pages = {xv, 187 Seiten}, school = {Universit{\"a}t Passau}, year = {2020}, }