@phdthesis{Loewe2017, author = {Stefan L{\"o}we}, title = {Effective Approaches to Abstraction Refinement for Automatic Software Verification}, pages = {XXI, 155 S.}, school = {Universit{\"a}t Passau}, year = {2017}, }