CrossRef 1992 9 sitasi

Automating most parts of hardware proofs in HOL

Klaus Schneider Ramayya Kumar Thomas Kropf

Lihat Sumber DOI

Penulis (3)

Klaus Schneider

Ramayya Kumar

Thomas Kropf

APA MLA BibTeX

Schneider, K., Kumar, R., Kropf, T. (1992). Automating most parts of hardware proofs in HOL. https://doi.org/10.1007/3-540-55179-4_35

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/3-540-55179-4_35

Informasi Jurnal