A Verified Imperative Implementation of B-Trees

Niels Mündler. A Verified Imperative Implementation of B-Trees. Archive of Formal Proofs, 2021, 2021. [doi]

Abstract

Abstract is missing.