Dara Ly, Nikolai Kosmatov, Julien Signoles, Frédéric Loulergue. Soundness of a Dataflow Analysis for Memory Monitoring.
HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems, Nov 2018, Boston, United States.
⟨cea-02283406⟩