Login / Signup

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.

Caterina UrbanAntoine Miné
Published in: ESOP (2014)
Keyphrases