SFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software, Jun 2011, Bertinoro, Italy. pp.393-416, 2011
https://hal.inria.fr/hal-00646860
Contributeur : Gabriele Costa
<>
Soumis le : mercredi 30 novembre 2011 - 19:15:49
Dernière modification le : mardi 17 avril 2018 - 11:26:43
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, 2011. 〈hal-00646860〉