Zeno: An Automated Prover for Properties of Recursive Data Structures.

William Sonnex, Sophia Drossopoulou, Susan Eisenbach

Browse the full TACAS paper archive.