Towards the Certification of Complexity Proofs

René Thiemann
Proceedings of the Isabelle user Workshop 2012,  2012.

abstract   BibTeX   PDF