@misc{indiciaef7b2616dec44,
  title = {Computer-aided verification in mechanism design},
  author = {Gilles Barthe and Marco Gaboardi and Emilio Jesús Gallego Arias and Justin Hsu and Aaron Roth and Pierre-Yves Strub},
  year = {2016},
  doi = {10.1007/978-3-662-54110-4\_20},
  url = {https://arxiv.org/abs/1502.04052},
  note = {Source identifier: 1502.04052}
}