Sciweavers

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