Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)

Antoine Miné 1, 2 Enric Rodríguez-Carbonell 3
2 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
3 LSI
UPC - Technical University of Catalonia
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Antoine Miné and Enric Rodríguez Carbonell. 267, Elsevier, pp.150, 2010, ENTCS
Liste complète des métadonnées

https://hal.inria.fr/hal-00748318
Contributeur : Antoine Miné <>
Soumis le : lundi 5 novembre 2012 - 12:02:06
Dernière modification le : mardi 24 avril 2018 - 17:20:13

Identifiants

  • HAL Id : hal-00748318, version 1

Collections

Citation

Antoine Miné, Enric Rodríguez-Carbonell. Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010). Antoine Miné and Enric Rodríguez Carbonell. 267, Elsevier, pp.150, 2010, ENTCS. 〈hal-00748318〉

Partager

Métriques

Consultations de la notice

163