Autre Publication
Année : 2014
Antoine Miné : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00925760
Soumis le : mercredi 8 janvier 2014-15:10:35
Dernière modification le : vendredi 19 avril 2024-16:18:57
Dates et versions
Identifiants
- HAL Id : hal-00925760 , version 1
Citer
Caterina Urban. Automatic Inference of Ranking Functions by Abstract Interpretation. 2014. ⟨hal-00925760⟩
107
Consultations
0
Téléchargements