## Modeling a Hardware Synthesis Methodology in Isabelle (1996)

### Cached

### Download Links

- [www.informatik.uni-freiburg.de]
- [www.informatik.uni-freiburg.de]
- [www.inf.ethz.ch]
- DBLP

### Other Repositories/Bibliography

by
David Basin
,
Stefan Friedrich

Venue: | In Theorem Proving in Higher Order Logics (TPHOLs'96), volume 1125 of LNCS |

Citations: | 6 - 4 self |