Other Publications Year : 2014

Automatic Inference of Ranking Functions by Abstract Interpretation

No file

Dates and versions

hal-00925760 , version 1 (08-01-2014)

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

Share

More