Sciweavers

11061 search results - page 18 / 2213
» Computer Architecture
Sort
View
DAC
2005
ACM
13 years 11 months ago
Formal verification: is it real enough?
Yaron Wolfsthal, Rebecca M. Gott