Hardware Verification using co-induction in COQ (1999)

Cached

Download Links

by Solange Coupet-Grimal , Line Jakubiec
Venue:In Proceedings of the International Conference on Theorem Proving in Higher-Order Logics
Citations:1 - 0 self