Sciweavers

15783 search results - page 622 / 3157
» Evidence-Based Software Engineering
Sort
View
ISSTA
2006
ACM
16 years 1 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv