Skip to Main content Skip to Navigation
New interface
Books

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 :
Books
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, October 26, 2022 - 8:12:07 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

64