Reasoning with time and data abstractions

Pedro da Rocha Pinto. Reasoning with time and data abstractions. PhD thesis, Imperial College London, UK, 2016. [doi]

Abstract

Abstract is missing.