Sciweavers

9006 search results - page 6 / 1802
» Modeling Software
Sort
View
VSTTE
2005
Springer
16 years 4 days ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel