@misc{indiciae69be5f6617e4,
  title = {Model-Checking the Implementation of Consent},
  author = {Raúl Pardo and Daniel Le Métayer},
  year = {2024},
  url = {https://arxiv.org/abs/2409.11803},
  note = {Source identifier: 2409.11803}
}