## A Structure Preserving Encoding of Z in Isabelle/HOL (1996)

### View PDF

### Download Links

- [www.first.gmd.de]
- [www.informatik.uni-bremen.de]
- [www.first.gmd.de]
- [www.informatik.uni-bremen.de]
- [arkaptur.informatik.uni-freiburg.de]
- DBLP

### Other Repositories/Bibliography

by
Kolyang Santen Wolff
,
T. Santen
,
B. Wolff

Venue: | Theorem Proving in Higher-Order Logics, LNCS 1125 |

Citations: | 35 - 7 self |