Poster
Année : 2018
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02317091
Soumis le : mardi 15 octobre 2019-18:36:23
Dernière modification le : mardi 18 janvier 2022-17:44:01
Citer
Salwa Souaf, Frédéric Loulergue. Strong Security Guarantees: From Alloy to Coq (Research Poster). 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1057-1058, ⟨10.1109/HPCS.2018.00167⟩. ⟨hal-02317091⟩
Collections
55
Consultations
0
Téléchargements