Formalization of a Big Graph API in Coq

, ,
DOI
Type
Document de conference
Publication
International Conference on High Performance Computing and Simulation (HPCS)