Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic

Show other versions (1)
Bibliographic Details
Main Authors: Camilleri, A, Gordon, M, Melham, T
Format: Report
Published: Computer Laboratory‚ University of Cambridge 1986
Search Result 1
Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic by Camilleri, A, Gordon, M, Melham, T

Published 1987
Conference item
Show all versions (2)

Similar Items