Software Verification with Integrated Data Type Refinement for Integer Arithmetic.

Bernhard Beckert, Steffen Schlager

Browse the full IFM paper archive.