Sciweavers

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