Number of items: 1.
Conference or workshop item
|
Cheval, Vincent and Blanchet, Bruno
(2013)
Proving More Observational Equivalences with ProVerif.
In: Basin, David and Mitchell, John C., eds.
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings.
Lecture Notes in Computer Science, 7796.
Springer-Verlag Berlin, Roma, Italy
pp. 226-246.
ISBN 978-3-642-36829-5.
E-ISBN 978-3-642-36830-1.
(doi:https://doi.org/10.1007/978-3-642-36830-1_12)
(Full text available)
|
|
This list was generated on Sat May 18 21:48:08 2019 BST.
