Sciweavers

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