Skip to Main content Skip to Navigation
Directions of work or proceedings

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 - ENS Paris, 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]
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-00748287
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Monday, November 5, 2012 - 11:56:07 AM
Last modification on : Thursday, March 17, 2022 - 10:08:36 AM

Identifiers

  • HAL Id : hal-00748287, version 1

Collections

ENS-PARIS | CNRS | INRIA | INRIA2 | PSL

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

113

 

Contact                    Legal Notice                    Personal Data