Counting%20Votes%20with%20Formal%20Methods

= Counting Votes with Formal Methods =

'''Research Area''': Electronic Voting Technology br '''Year''': 2004br '''Type of Publication''': In Proceedingsbr '''Authors''': Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk

== !BibTex == {{{#!html

<textarea class="bibtex"> @conference{JacobsEtAl04, author = "Jacobs, Bart and Hubbers, Engelbert and Kiniry, Joseph and Oostdijk, Martijn", booktitle = "Proceedings of AMAST '04", title = "{C}ounting {V}otes with {F}ormal {M}ethods", year = "2004", } </textarea>