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]

Authors

Christian Sternagel

This author has not been identified. Look up 'Christian Sternagel' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google