EasyChair Smart Slide
A Verified Implementation of B-Trees in Isabelle/HOL
A Verified Implementation of B-Trees in Isabelle/HOL