102
click to vote
SIGSOFT
2010
ACM
15 years 20 days ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...