"Compositional Invariant Checking for Overlaid and Nested Linked Lists."

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics