Back to Results
First PageMeta Content
Logic / Mathematical logic / Linguistics / Predicate logic / Knowledge representation / Tree / FO / Predicate transformer semantics / Substitution / B-tree / Symbol / Control


Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?
Add to Reading List

Document Date: 2017-01-11 10:46:13

Open Document

File Size: 468,96 KB

Share Result on Facebook
UPDATE