1. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information

   • Klaus Indermark
   • Thomas Noll

   Original Article 03 June 2006 Pages: 1 - 43

2. Compositional Analysis of C/C++ Programs with VeriSoft

   • Juergen Dingel

   Original Article 03 June 2006 Pages: 45 - 71