Heap-based reasoning about asynchronous programs

Johannes Kloos. Heap-based reasoning about asynchronous programs. PhD thesis, Kaiserslautern University of Technology, Germany, 2018. [doi]

Authors

Johannes Kloos

This author has not been identified. Look up 'Johannes Kloos' in Google