Documents
Savoirs
La composition des protocoles de sécurité avec la méthode B événementielle, Security protocols composition using Event B
Auteur
Nazim Benaïssa
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.