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

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