Sciweavers

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