Checking Contact Tracing App Implementations with Bespoke Static Analysis

Robert Flood, Sheung Chi Chan, Wei Chen, David Aspinall 0001. Checking Contact Tracing App Implementations with Bespoke Static Analysis. SN Computer Science, 3(6):496, 2022. [doi]

Abstract

Abstract is missing.