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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.