Verified Root-Balanced Trees
From MaRDI portal
Publication:5056001
DOI10.1007/978-3-319-71237-6_13zbMath1503.68052MaRDI QIDQ5056001
Publication date: 9 December 2022
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-71237-6_13
68P05: Data structures
Uses Software