Sciweavers

9018 search results - page 22 / 1804
» 3D-Brain Model Software
Sort
View
133
Voted
METRICS
2005
IEEE
16 years 17 days ago
An Outsourcing Model of Software Development
Rasvan Constantinescu
VSTTE
2005
Springer
16 years 14 days ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel
VMCAI
2004
Springer
16 years 10 days ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi