Sciweavers

15824 search results - page 41 / 3165
» Specialising in Software Engineering
Sort
View
141
Voted
VMCAI
2004
Springer
15 years 11 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
134
Voted
APSEC
2003
IEEE
15 years 11 months ago
Modeling and Enacting Software Processes Using VRPML
Kamal Zuhairi Zamli, Peter Lee