Program analysis with write invariant properties (2009)

by M Marron, M Hermenegildo, O Lhoták
Venue:In Submission