Hardware Veri cation using Co-induction in Coq (1999)

by S Coupet-Grimal, L Jakubiec
Venue:In Proceedings of the International Conference onTheorem Proving in Higher-Order Logics