Formalization of a Big Graph API in Coq - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year : 2017
No file

Dates and versions

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

Identifiers

Cite

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue. Formalization of a Big Graph API in Coq. 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017, ⟨10.1109/HPCS.2017.140⟩. ⟨hal-02317110⟩
60 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More