Conference Papers
Year : 2011
Gabriele Costa : Connect in order to contact the contributor
https://inria.hal.science/hal-00646860
Submitted on : Wednesday, November 30, 2011-7:15:49 PM
Last modification on : Thursday, February 15, 2024-3:31:27 AM
Dates and versions
Identifiers
- HAL Id : hal-00646860 , version 1
Cite
Gabriele Costa, Fabio Martinelli, Valérie Issarny, Rachid Saadi, Ilaria Matteucci. Security and Trust. SFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software, Jun 2011, Bertinoro, Italy. pp.393-416. ⟨hal-00646860⟩
Collections
90
View
0
Download