A Framework for Developing Stand-Alone Certifiers

Christian Sternagel, René Thiemann. A Framework for Developing Stand-Alone Certifiers. Electronic Notes in Theoretical Computer Science, 312:51-67, 2015. [doi]

Abstract

Abstract is missing.