Communication Dans Un Congrès
Année : 2008
Antoine Miné : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00531567
Soumis le : mercredi 3 novembre 2010-10:25:08
Dernière modification le : lundi 11 décembre 2023-11:31:18
Dates et versions
Identifiants
- HAL Id : hal-00531567 , version 1
Citer
Liqian Chen, Antoine Miné, Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain. Sixth Asian Symposium on Programming Languages and Systems (APLAS'08), Dec 2008, India. pp.3-18. ⟨hal-00531567⟩
58
Consultations
0
Téléchargements