Browse by Relators
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Date | No Grouping
Number of items: 1.
-
Salvatore Francesco Rossetta.
Formalization and Verification of Proportional Representation Voting Systems using Isabelle/HOL: A Study of D'Hondt and Sainte-Laguë Methods.
Rel. Paolo Enrico Camurati, Bernhard Beckert. Politecnico di Torino, Master of science program in Computer Engineering, 2024
Preview
