This page shows all presentations of this author published in EasyChair Smart Slide.
A Verified Implementation of B-Trees in Isabelle/HOL
Niels Mündler and Tobias Nipkow