Other Publications
Year : 2014
Antoine Miné : Connect in order to contact the contributor
https://inria.hal.science/hal-00925760
Submitted on : Wednesday, January 8, 2014-3:10:35 PM
Last modification on : Monday, December 9, 2024-3:32:38 PM
Dates and versions
Identifiers
- HAL Id : hal-00925760 , version 1
Cite
Caterina Urban. Automatic Inference of Ranking Functions by Abstract Interpretation. 2014. ⟨hal-00925760⟩
112
View
0
Download