@InProceedings{BeckertBormerEA2014,
  author = 	 {Bernhard Beckert and Thorsten Bormer and Rajeev Gor\'e and 
                  Michael Kirsten and Thomas Meumann},
  title = 	 {Reasoning About Vote Counting Schemes Using Light-weight and 
                  Heavy-weight Methods},
  booktitle = 	 {Proceedings, 8th International Verification Workshop (VERIFY)
                  in connection with IJCAR 2014 at FLoC 2014,
                  July 23–24, 2014, Vienna, Austria},
  year =         {2014}
}