Poster Communications
Year : 2018
Frédéric Loulergue : Connect in order to contact the contributor
https://inria.hal.science/hal-02317091
Submitted on : Tuesday, October 15, 2019-6:36:23 PM
Last modification on : Tuesday, January 18, 2022-5:44:01 PM
Cite
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
69
View
0
Download