Bernhard Beckert, Steffen Schlager. Software Verification with Integrated Data Type Refinement for Integer Arithmetic. In Eerke Boiten, John Derrick, Graeme Smith, editors, Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Volume 2999 of Lecture Notes in Computer Science, pages 207-226, Springer, 2004. [doi]
Abstract is missing.