Title: Automated Verification of Concurrent Search Structures
Subjects: Mathematics