Formalization of a Big Graph API in Coq

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017