4153Analyse formelle de protocoles de vote électronique [En savoir plus]AVOTE - ANR-07-SESU-0002
SESU - 2007

Voir les documents associés 

Exporter

• Export XML
• Export RDF