Sciweavers

15416 search results - page 56 / 3084
» Embeddings of Computable Structures
Sort
View
97
Voted
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
15 years 10 months ago
Disjunctive image computation for embedded software verification
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...