Sebastian Wolff 0001. Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung). PhD thesis, Braunschweig University of Technology, Germany, 2021. [doi]
Abstract is missing.