Skip to main content

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