Communication Dans Un Congrès
Année : 2009
Antoine Miné : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00531564
Soumis le : mercredi 3 novembre 2010-10:19:06
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00531564 , version 1
Citer
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. 16th International Static Analysis Symposium (SAS'09), Aug 2009, United States. pp.309-325. ⟨hal-00531564⟩
75
Consultations
0
Téléchargements