Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier. Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. In Stefania Monica, Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. Volume 3002 of CEUR Workshop Proceedings, pages 77-91, CEUR-WS.org, 2021. [doi]