Verifying Balanced Trees.

Zohar Manna, Henny B. Sipma, Ting Zhang

Browse the full LFCS paper archive.