Skip to Main content Skip to Navigation
Conference papers

Formalization of a Big Graph API in Coq

Complete list of metadata

https://hal.inria.fr/hal-02317110
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:48:06 PM
Last modification on : Monday, November 30, 2020 - 5:48:18 PM

Identifiers

Citation

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. pp.893-894, ⟨10.1109/HPCS.2017.140⟩. ⟨hal-02317110⟩

Share

Metrics

Record views

68