Hardware Verification using Higher−Order Logic

Bibliografische gegevens
Hoofdauteurs: Camilleri, A, Gordon, M, Melham, T
Formaat: Report
Gepubliceerd in: Computer Laboratory‚ University of Cambridge 1986