Poster Communications Year : 2018
No file

Dates and versions

hal-02317091 , version 1 (15-10-2019)

Identifiers

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⟩
69 View
0 Download

Altmetric

Share

More