Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie. A Fast Verified Liveness Analysis in SSA Form.
IJCAR 2020- International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.324-340,
⟨10.1007/978-3-030-51054-1_19⟩.
⟨hal-02904204⟩