DMCA

Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving

Cached

Download Links

by Gidon Ernst , Gerhard Schellhorn , Wolfgang Reif