@InProceedings{BeckertSchlager04,
author = {Bernhard Beckert and Steffen Schlager},
title = {Software Verification with Integrated Data Type Refinement
for Integer Arithmetic},
booktitle = {4th International Conference on Integrated Formal Methods ({IFM} 2004)},
venue = {Canterbury, {UK}},
year = {2004},
eventdate = {2004-04-04/2004-04-07},
month = apr,
publisher = {Springer},
series = {LNCS},
volume = {2999},
doi = {10.1007/978-3-540-24756-2_12},
pages = {207--226}
}