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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Sep 2016, Edinburgh, United Kingdom. LNCS (9837), Springer, 2016, 978-3-662-53412-0. 〈10.1007/978-3-662-53413-7〉. 〈http://dx.doi.org/10.1007/978-3-662-53413-7〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01388205
Contributeur : Nathalie Gaudechoux <>
Soumis le : mercredi 26 octobre 2016 - 16:17:27
Dernière modification le : jeudi 26 avril 2018 - 10:29:03

Identifiants

Collections

INRIA | 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〉. 〈http://dx.doi.org/10.1007/978-3-662-53413-7〉. 〈hal-01388205〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

97

Contact


archive-ouverte@inria.fr