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

### Cached

### Download Links

- [i12www.ilkd.uni-karlsruhe.de]
- [i12www.ilkd.uni-karlsruhe.de]
- [www.uni-koblenz.de]
- DBLP

### Other Repositories/Bibliography

by
Bernhard Beckert
,
Steffen Schlager

Citations: | 16 - 3 self |