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

Cached

Download Links

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