Sciweavers

15824 search results - page 41 / 3165
» Specialising in Software Engineering
Sort
View
VMCAI
2004
Springer
14 years 3 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi