DMCA

Reasoning about B+ Trees with Operational Semantics and Separation Logic

by Alan Sexton , Hayo Thielecke
Citations:3 - 0 self