Formalization of a Big Graph API in Coq

Complete list of metadatas

https://hal.inria.fr/hal-02317110
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:48:06 PM
Last modification on : Wednesday, October 16, 2019 - 1:31:24 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. pp.893-894, ⟨10.1109/HPCS.2017.140⟩. ⟨hal-02317110⟩

Share

Metrics

Record views

32