Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic

Mostrar otras versiones (1)
Detalles Bibliográficos
Autores principales: 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
Mostrar todas las versiones(2)

Ejemplares similares