| 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 <>
Submitted on : Wednesday, September 18, 2013 - 5:37:40 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Long-term archiving on: : Friday, December 20, 2013 - 3:02:05 PM
Contributor : Ben Smyth <>
Submitted on : Wednesday, September 18, 2013 - 5:37:40 PM
Last modification on : Friday, May 25, 2018 - 12:02:06 PM
Long-term archiving on: : Friday, December 20, 2013 - 3:02:05 PM
File
CadeBlanchetARES12.pdf
Files produced by the author(s)