@misc{indiciae4774fb8de69f,
  title = {Verification of Multi-Agent Properties in Electronic Voting: A Case Study},
  author = {Damian Kurpiewski and Wojciech Jamroga and Łukasz Maśko and Łukasz Mikulski and Witold Pazderski and Wojciech Penczek and Teofil Sidoruk},
  year = {2025},
  url = {https://arxiv.org/abs/2310.15789},
  note = {Source identifier: 2310.15789}
}