Sciweavers

15860 search results - page 602 / 3172
» On agent-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