Compositional invariant checking for overlaid and nested linked lists (2013)

by C Enea, V Saveluc, M Sighireanu
Venue:In European symposium on programming (ESOP