Toward a formal derivation of the expected behavior of prefix B-trees

From MaRDI portal
Publication:2805318