@mastersthesis{eign_10:master,
title = {Type-Based Verification of Electronic Voting Systems},
author = {Fabienne Eigner},
year = {2010},
date = {2010-01-01},
school = {Saarland University},
keywords = {}
}