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

by Tom Melham
Venue:in Theoretical Computer Science