 | Livello precedente |
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, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
Eccetto ove diversamente specificato, i contenuti di questo sito sono rilasciati sotto 
Licenza Creative Commons - Attribuzione 3.0 Italia.
Powered by Eprints 3 - customization and management by Politecnico di Torino.
