Sciweavers

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