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

by T Melham
Venue:in Theoretical Computer Science