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
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
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〉
