Skip to content

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.

Caterina Urban, Antoine Min

VenueAESOP
Year2014
ProceedingsESOP

Browse the full ESOP paper archive.