ExpTime Tableaux for Using Sound Global Caching Rajeev GoréLinh Anh Nguyen OriginalPaper 10 December 2011 Pages: 355 - 381
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions David SabelManfred Schmidt-Schauß OriginalPaper 08 June 2012 Pages: 383 - 421
Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program Sylvie BoldoFrançois ClémentPierre Weis OriginalPaper 14 August 2012 Pages: 423 - 456