Linguistique de l’écrit
Revue internationale en libre accès
Revue | Auteurs
Update semantics of security protocols
2004
Arjen HommersomJohn-Jules MeyerErik De Vink
Synthese 142/2