Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer. Practical Aspects of Automated Deduction for Program Verification. KI, 24(1):43-49, 2010. [doi]

Abstract

Abstract is missing.