Model-Checking the Implementation of Consent

Raúl Pardo, Daniel Le Métayer. Model-Checking the Implementation of Consent. In Alexandre Madeira, Alexander Knapp, editors, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings. Volume 15280 of Lecture Notes in Computer Science, pages 253-271, Springer, 2024. [doi]

Abstract

Abstract is missing.