A Framework for the Verification of Certifying Computations Eyad AlkassarSascha BöhmeChristine Rizkallah OriginalPaper 29 June 2013 Pages: 241 - 273
On Automation in the Verification of Software Barriers: Experience Report Alexander MalkisAnindya Banerjee OriginalPaper 20 September 2013 Pages: 275 - 329
Formally Verified Tableau-Based Reasoners for a Description Logic M. J. Hidalgo-DobladoJ. A. Alonso-JiménezJ. L. Ruiz-Reina OriginalPaper 07 July 2013 Pages: 331 - 360