Creating and sharing knowledge for telecommunications

CONCLUDED MSC THESIS

Verification of the back-end of an i-voting system

João de Araujo Correia Neto Lopes
Supervisors: Ana Gualdina Almeida Matos, Jan Gunnar Cederquist
University: Instituto Superior Técnico
Keywords: