Sciweavers

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