Communication Dans Un Congrès
Année : 2010
Antoine Miné : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00531563
Soumis le : mercredi 3 novembre 2010-10:15:45
Dernière modification le : vendredi 19 avril 2024-16:18:55
Dates et versions
Identifiants
- HAL Id : hal-00531563 , version 1
Citer
Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities. 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'10), Jan 2010, Spain. pp.112-128. ⟨hal-00531563⟩
146
Consultations
0
Téléchargements