Skip to Main content Skip to Navigation
Directions of work or proceedings

Static Analysis: 23rd International Symposium, (SAS 2016), Edinburgh, UK, September 8-10, 2016, Proceedings

Xavier Rival 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01388205
Contributor : Nathalie Gaudechoux <>
Submitted on : Wednesday, October 26, 2016 - 4:17:27 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

141