Synthesizing Ranking Functions from Bits and Pieces.

Caterina Urban, Arie Gurfinkel, Temesghen Kahsai

Browse the full TACAS paper archive.