Data Structure Specifications via Local Equality Axioms. In (2005)

by S McPeak, G Necula
Venue:17th International Conference on Computer-Aided Verification,