Formal and Semi-formal Verification of a Web Voting System - Archive ouverte HAL Access content directly
Journal Articles International Journal of Web Information Systems Year : 2015

Formal and Semi-formal Verification of a Web Voting System

Abstract

no abstract
Not file

Dates and versions

hal-01479632 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479632 , version 1

Cite

Maximiliano Cristia, Claudia Frydman. Formal and Semi-formal Verification of a Web Voting System. International Journal of Web Information Systems, 2015, 11-2, pp.183-204. ⟨hal-01479632⟩
46 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More