https://hal.inria.fr/hal-00863382
Contributor : Ben Smyth
<>
Submitted on : Wednesday, September 18, 2013 - 5:37:40 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Document(s) archivé(s) le : Friday, December 20, 2013 - 3:02:05 PM
David Cadé, Bruno Blanchet. From Computationally-proved Protocol Specifications to Implementations. 7th International Conference on Availability, Reliability and Security (AReS 2012), 2012, Prague, Czech Republic. pp.65--74. ⟨hal-00863382⟩
