Sciweavers

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