Florrie Verity, Dirk Pattinson. Formally verified invariants of vote counting schemes. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017, Geelong, Australia, January 31 - February 3, 2017. ACM, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.