author = {W. Windsteiger},
title = {{The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema}},
language = {english},
year = {2017},
month = {July 18},
note = {Contributed talk at Conference for Intelligent Computer Mathematics (CICM)},
conferencename = {Conference for Intelligent Computer Mathematics (CICM)},
url = {http://cicm-conference.org/2017/cicm.php}