Proceedings
Year : 2014
Steve Kremer : Connect in order to contact the contributor
https://inria.hal.science/hal-01090879
Submitted on : Thursday, December 4, 2014-12:13:03 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Cite
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
82
View
0
Download