Higher Order Logic and Hardware Verification, Cambridge Tracts (1993)

by T Melham
Venue:in Theoretical Computer Science 31