Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 - ENS Paris, Inria de Paris
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01388205
Contributor : Nathalie Gaudechoux Connect in order to contact the contributor
Submitted on : Wednesday, October 26, 2016 - 4:17:27 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:03 PM

Identifiers

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | PSL

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

62

 

Contact                    Legal Notice                    Personal Data