\'Eric Totel
Identifiers
No identifiers captured yet.
Papers (1)
- Hypercollecting Semantics and its Application to Static Analysis of Information Flow cs.PL · 2016 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- David A. Naumann 1 shared papers
- Fr\'ed\'eric Tronel 1 shared papers
- Julien Signoles 1 shared papers
- Mounir Assaf 1 shared papers