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

First Page	Meta Content
	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 Document Date: 2010-10-29 12:59:26 Open Document File Size: 228,38 KB Share Result on Facebook

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