Verifying Concurrent Search Structures (Invited Talk).

Thomas Wies

Browse the full CONCUR paper archive.