@misc{indiciae3fcae8856dd3,
  title = {Proving soundness of combinatorial Vickrey auctions and generating verified executable code},
  author = {Marco B. Caminati and Manfred Kerber and Christoph Lange and Colin Rowat},
  year = {2013},
  url = {https://arxiv.org/abs/1308.1779},
  note = {Source identifier: 1308.1779}
}