Software verification with integrated data type refinement for integer arithmetic (2004)

by Bernhard Beckert, Steffen Schlager
Venue:Proceedings, International Conference on Integrated Formal Methods