Formal techniques in a remote voting system (bibtex)

by Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk and Engelbert Hubbers

Reference:

Formal techniques in a remote voting system (Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk and Engelbert Hubbers), In ACM SIGSOFT Softw. Eng. Notes, volume 31, 2006.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@article{DBLP:journals/sigsoft/KiniryMCOH06,
  author    = {Joseph R. Kiniry and
               Alan E. Morkan and
               Dermot Cochran and
               Martijn Oostdijk and
               Engelbert Hubbers},
  title     = {Formal techniques in a remote voting system},
  journal   = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume    = {31},
  number    = {6},
  pages     = {1--2},
  year      = {2006},
  url       = {https://doi.org/10.1145/1218776.1218793},
  doi       = {10.1145/1218776.1218793},
  timestamp = {Thu, 17 Sep 2020 12:05:35 +0200},
  biburl    = {https://dblp.org/rec/journals/sigsoft/KiniryMCOH06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf = EHUPUB#{1218776.1218793.formal_techniques_in_a_remote_voting_system.pdf}
}