TY  - RPRT
TI  - Proving soundness of combinatorial Vickrey auctions and generating verified executable code
AU  - Marco B. Caminati
AU  - Manfred Kerber
AU  - Christoph Lange
AU  - Colin Rowat
PY  - 2013
UR  - https://arxiv.org/abs/1308.1779
ID  - 1308.1779
ER  -