161
Voted
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...