Proceedings/Recueil Des Communications
Année : 2014
Steve Kremer : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01090879
Soumis le : jeudi 4 décembre 2014-12:13:03
Dernière modification le : lundi 11 septembre 2023-17:41:18
Citer
Martin Abadi, Steve Kremer. Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. 8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1. ⟨10.1007/978-3-642-54792-8⟩. ⟨hal-01090879⟩
Collections
81
Consultations
0
Téléchargements