Sandrine Blazy, Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings. Sandrine Blazy; Thomas Jensen.
Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291),
Springer, pp.335, 2015, 978-3-662-48287-2.
⟨hal-01194558⟩