Formalization of a Big Graph API in Coq

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue. Formalization of a Big Graph API in Coq. In 2017 International Conference on High Performance Computing & Simulation, HPCS 2017, Genoa, Italy, July 17-21, 2017. pages 893-894, IEEE, 2017. [doi]

Abstract

Abstract is missing.