Development of a Generic Voter under FoCal

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02949-3_3 ◽

2009 ◽

pp. 10-26 ◽

Cited By ~ 1

Author(s):

Philippe Ayrault ◽

Thérèse Hardin ◽

François Pessaux

Download Full-text