Sciweavers

23436 search results - page 17 / 4688
» Architecture
Sort
View
65
Voted
DAC
2005
ACM
14 years 11 months ago
Formal verification: is it real enough?
Yaron Wolfsthal, Rebecca M. Gott