Poster Communications
Year : 2017
Frédéric Loulergue : Connect in order to contact the contributor
https://inria.hal.science/hal-02317110
Submitted on : Tuesday, October 15, 2019-6:48:06 PM
Last modification on : Saturday, June 25, 2022-10:13:22 AM
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⟩
Collections
60
View
0
Download