Noname manuscript No. (will be inserted by the editor) Verification of B Trees by Integration of Shape Analysis and Interactive Theorem Proving ? - Theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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