Software Verification with Integrated Data Type Refinement for Integer Arithmetic (2004)

by Bernhard Beckert , Steffen Schlager
Citations:16 - 3 self