Sciweavers

16682 search results - page 117 / 3337
» Software Engineering Education
Sort
View
VMCAI
2009
Springer
15 years 11 months ago
Constraint-Based Invariant Inference over Predicate Abstraction
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...
CSMR
2009
IEEE
15 years 11 months ago
Incremental Clone Detection
Nils Göde, Rainer Koschke
SCAM
2009
IEEE
15 years 11 months ago
Chopping Concurrent Programs
Dennis Giffhorn