ITU

Analysing Vote Counting Algorithms Via Logic

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Original languageEnglish
Title of host publicationProceedings of the fourth Conference on E-Voting and Identity (VOTEID'13)
PublisherSpringer
Publication date2013
ISBN (Print)978-3-642-39184-2
Publication statusPublished - 2013
SeriesLecture Notes in Computer Science
Volume7985
ISSN0302-9743

ID: 80253753