Documents publiés en "2004"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Département de génie informatique et génie logiciel

Bastien, G. (2004). ASPiC : un outil d'analyse symbolique automatisée de protocoles cryptographiques basé sur le modèle de flux d'information [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: Tue Oct 20 13:28:06 2026 EDT.