Scalable techniques for analysing and testing asynchronous software systems

Pantazis Deligiannis. Scalable techniques for analysing and testing asynchronous software systems. PhD thesis, Imperial College London, UK, 2016. [doi]

Abstract

Abstract is missing.