Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2012
Antoine Miné : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00748287
Soumis le : lundi 5 novembre 2012-11:56:07
Dernière modification le : lundi 11 décembre 2023-11:31:26
Dates et versions
Identifiants
- HAL Id : hal-00748287 , version 1
Citer
Antoine Miné, David Schmidt (Dir.). Proceedings of the 19th International Static Analysis Symposium (SAS 2012). Antoine Miné and David Schmidt. Springer, 7460, pp.457, 2012, LNCS, 978-3-642-33124-4. ⟨hal-00748287⟩
117
Consultations
0
Téléchargements