150
Voted
MICAI
2004
Springer
16 years 24 days ago
2004
Springer
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns whic...