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
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
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é <>
Submitted on : Monday, November 5, 2012 - 11:56:07 AM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

Identifiers

  • HAL Id : hal-00748287, version 1

Collections

ENS-PARIS | CNRS | INRIA | 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

Share

Metrics

Record views

326

 

Contact                    Legal Notice                    Personal Data