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, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
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 : mardi 17 avril 2018 - 11:29:01

Identifiants

  • HAL Id : hal-00748287, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

213