Higher Order Logic and Hardware Veri Cambridge Tracts in Theoretical Computer Science 31 (1993)

by T F Melham
Venue:in Theoretical Computer Science 31