Sciweavers

15777 search results - page 19 / 3156
» Engineering in Software
Sort
View
VSTTE
2005
Springer
14 years 4 months ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel