@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}
}
Software Verification with Integrated Data Type Refinement for Integer Arithmetic
| Autor(en): | Bernhard Beckert und Steffen Schlager |
|---|---|
| In: | 4th International Conference on Integrated Formal Methods (IFM 2004) |
| Verleger: | Springer |
| Reihe: | LNCS |
| Band: | 2999 |
| Jahr: | 2004 |
| Seiten: | 207-226 |
| DOI: | 10.1007/978-3-540-24756-2_12 |