conf.researchr.org / Frédéric Tronel
Not registered as user yet
Name:Frédéric Tronel
Affiliation:CentraleSupélec
Contributions
POPL 2017 | Author of Hypercollecting Semantics and its Application to Static Analysis of Information Flow within the POPL-track |