Formalization of a Big Graph API in Coq

Publication
2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017