| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
From Computationally-proved Protocol Specifications to Implementations
Résumé : no abstract
Cited literature [29 references]
https://hal.inria.fr/hal-00863382
Contributor : Ben Smyth Connect 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
Contributor : Ben Smyth Connect 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
File
CadeBlanchetARES12.pdf
Files produced by the author(s)