Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic

Show other versions (1)
Detalles Bibliográficos
Main Authors: Camilleri, A, Gordon, M, Melham, T
Formato: Report
Publicado: Computer Laboratory‚ University of Cambridge 1986
Search Result 1
Hardware Verification using Higher−Order Logic

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

Publicado 1987
Conference item
Show all versions (2)

Títulos similares