c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490. Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms

First Page		Document Content
Date: 2010-10-29 12:59:26		c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490. Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 228,38 KB Share Document on Facebook