992Preuves formelles et sémantique probabiliste en cryptographie [En savoir plus]FORMACRYPT - ANR-05-SSIA-0009
SSIA - 2005

Voir les documents associés 

Exporter

• Export XML
• Export RDF