Skip to Main content Skip to Navigation
Poster communications

Formalization of a Big Graph API in Coq

Complete list of metadata

https://hal.inria.fr/hal-02317110
Contributor : Frédéric Loulergue Connect in order to contact the contributor
Submitted on : Tuesday, October 15, 2019 - 6:48:06 PM
Last modification on : Saturday, June 25, 2022 - 10:13:22 AM

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

Share

Metrics

Record views

59