Search - Chaire Cybersécurité sur l'analyse de la menace Access content directly

Filter your results

1 Résultat
Domains : sdv

Counters in Kappa: Semantics, Simulation, and Static Analysis

Pierre Boutillier , Ioana Cristescu , Jérôme Feret
ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩
Conference papers hal-02397876v1