https://hal.inria.fr/hal-00863382 Contributor : Ben SmythConnect in order to contact the contributor Submitted on : Wednesday, September 18, 2013 - 5:37:40 PM Last modification on : Friday, January 21, 2022 - 3:19:26 AM Long-term archiving on: : 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⟩