polito.it
Politecnico di Torino (logo)
Webthesis
Libraries

List of theses with "Beckert, Bernhard as relator"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 31 October 2024
Number of items: 1.

31 October 2024

[img] 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

This list was generated on Mon May 19 20:04:30 2025 CEST.