Beckert, BernhardBormer, ThorstenGore, RajeevKirsten, MichaelMeumann, Tom2015-12-1023-24 Julyhttp://hdl.handle.net/1885/67548Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods20142015-12-10