Higher Order Logic and Hardware Verification
T. Melham
ISBN
0−521−41718−X
Publisher
Cambridge University Press
Series
Cambridge Tracts in Theoretical Computer Science
Volume
31
Year
1993
T. Melham