Document pour l'auteur "Pene, Liviu"
Groupement par Type de document | sans groupement Nombre de documents archivés : 1. Pene, Liviu (2004). Formal methods for security protocol correctness. Mémoire. Gatineau, Université du Québec en Outaouais, Département d'informatique et d'ingénierie, 121 p. |