Poster De Conférence
Année : 2017
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02317110
Soumis le : mardi 15 octobre 2019-18:48:06
Dernière modification le : samedi 25 juin 2022-10:13:22
Citer
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
63
Consultations
0
Téléchargements