Communication Dans Un Congrès
Année : 2019
Jérôme Feret : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02397876
Soumis le : vendredi 6 décembre 2019-17:14:19
Dernière modification le : lundi 9 décembre 2024-15:32:38
Citer
Pierre Boutillier, Ioana Cristescu, Jérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩. ⟨hal-02397876⟩
Collections
116
Consultations
0
Téléchargements