Alberdi, E., Strigini, L., Leach, K. , Ryan, P., Palanque, P. & Winckler, M.view all authors (2009). Gaining assurance in a voter-verifiable voting system. Paper presented at the 2009 Second International Conference on Dependability, 18 - 23 Jun 2009, Athens, Greece.