Sciweavers

16682 search results - page 84 / 3337
» Software Engineering Education
Sort
View
VMCAI
2004
Springer
16 years 2 days ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
147
Voted
APSEC
2003
IEEE
16 years 1 days ago
Modeling and Enacting Software Processes Using VRPML
Kamal Zuhairi Zamli, Peter Lee