Caching, crashing & concurrency - verification under adverse conditions

Stefan Bodenmüller. Caching, crashing & concurrency - verification under adverse conditions. PhD thesis, University of Augsburg, Germany, 2023. [doi]

Abstract

Abstract is missing.