## Programming a symbolic model checker in a fully expansive theorem prover (2003)

### Cached

### Download Links

- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Hasan Amjad

Venue: | Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, volume 2758 of Lecture Notes in Computer Science |

Citations: | 16 - 5 self |