1. ExpTime Tableaux for Using Sound Global Caching

   • Rajeev Goré
   • Linh Anh Nguyen

   OriginalPaper 10 December 2011 Pages: 355 - 381

2. A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions

   • David Sabel
   • Manfred Schmidt-Schauß

   OriginalPaper 08 June 2012 Pages: 383 - 421

3. Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program

   • Sylvie Boldo
   • François Clément
   • Pierre Weis

   OriginalPaper 14 August 2012 Pages: 423 - 456