Xavier Rival. Static Analysis: 23rd International Symposium, (SAS 2016), Edinburgh, UK, September 8-10, 2016, Proceedings. Sep 2016, Edinburgh, United Kingdom. LNCS (9837),
Springer, 2016, 978-3-662-53412-0.
⟨10.1007/978-3-662-53413-7⟩.
⟨hal-01388205⟩