Flood, R., Chan, S., Chen, W. & Aspinall, D. 2022, 'Checking Contact Tracing App Implementations with Bespoke Static Analysis', SN Computer Science, 3, article no: 496. https://doi.org/10.1007/s42979-022-01357-w