![](/img/cover-not-exists.png)
An Algebraic Approach to Formal Verification of Microprocessors
Kanji HirabayashiVolume:
17
Language:
english
Pages:
2
DOI:
10.1023/a:1012824822961
Date:
December, 2001
File:
PDF, 36 KB
english, 2001