Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information Klaus IndermarkThomas Noll Original Article 03 June 2006 Pages: 1 - 43
Compositional Analysis of C/C++ Programs with VeriSoft Juergen Dingel Original Article 03 June 2006 Pages: 45 - 71