Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2010
Antoine Miné : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00748318
Soumis le : lundi 5 novembre 2012-12:02:06
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00748318 , version 1
Citer
Antoine Miné, Enric Rodríguez-Carbonell (Dir.). Proceedings of the Second International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010). Antoine Miné and Enric Rodríguez Carbonell. Elsevier, 267, pp.150, 2010, ENTCS. ⟨hal-00748318⟩
142
Consultations
0
Téléchargements