Proceedings of the 19th International Static Analysis Symposium (SAS 2012)

Antoine Miné 1, 2 David Schmidt 3
1 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
2 LIENS - Laboratoire d'informatique de l'école normale supérieure
3 CIS@K-STATE - Department of Computing and Information Sciences [Kansas]
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Antoine Miné and David Schmidt. 7460, Springer, pp.457, 2012, LNCS, 978-3-642-33124-4
Liste complète des métadonnées
https://hal.inria.fr/hal-00748287
Contributeur : Antoine Miné <>
Soumis le : lundi 5 novembre 2012 - 11:56:07
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00748287, version 1

Collections

ENS-PARIS | INRIA | PSL | INRIA-ROCQ

Citation

Antoine Miné, David Schmidt. Proceedings of the 19th International Static Analysis Symposium (SAS 2012). Antoine Miné and David Schmidt. 7460, Springer, pp.457, 2012, LNCS, 978-3-642-33124-4. 〈hal-00748287〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

288

Contact


archive-ouverte@inria.fr