Hardware Verification using Higher−Order Logic

Hardware Verification using Higher−Order Logic

Mostrar outras versões (1)
Detalhes bibliográficos
Principais autores: Camilleri, A, Gordon, M, Melham, T
Formato: Report
Publicado em: 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 em 1987
Conference item
Mostrar todas as versões (2)

Registros relacionados