Frameworks for analyzing multi-threaded C

Kalmer Apinis. Frameworks for analyzing multi-threaded C. PhD thesis, Technical University Munich, 2014. [doi]

Abstract

Abstract is missing.