87
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...