Permission-Based Verification of Red-Black Trees and Their Merging.

Lukas Armborst, Marieke Huisman

Browse the full ICSE paper archive.