TY - RPRT TI - Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections AU - Michelle Blom AU - Jurlind Budurushi AU - Ronald L. Rivest AU - Philip B. Stark AU - Peter J. Stuckey AU - Vanessa Teague AU - Damjan Vukcevic PY - 2021 DO - 10.1007/978-3-030-86942-7_4 UR - https://arxiv.org/abs/2107.11903 ID - 2107.11903 ER -