Verifying Lock-Free Search Structure Templates.

Nisarg Patel, Dennis Shasha, Thomas Wies

Browse the full ECOOP paper archive.