Effective Approaches to Abstraction Refinement for Automatic Software Verification

Stefan Löwe. Effective Approaches to Abstraction Refinement for Automatic Software Verification. PhD thesis, University of Passau, Germany, 2017. [doi]

Abstract

Abstract is missing.