99.44% pure: Useful Abstractions in Specifications Mike Barnett 0 , David A. Naumann 1 ? , Wolfram Schulte 0 , and Qi Sun 1 ?? 0 - David Barnett - Document - PDFSEARCH.IO

First Page	Meta Content
	99.44% pure: Useful Abstractions in Specifications Mike Barnett 0 , David A. Naumann 1 ? , Wolfram Schulte 0 , and Qi Sun 1 ?? 0 Add to Reading List Document Date: 2004-06-01 02:30:27 Open Document File Size: 122,54 KB Share Result on Facebook

99.44% pure: Useful Abstractions in Specifications Mike Barnett 0 , David A. Naumann 1 ? , Wolfram Schulte 0 , and Qi Sun 1 ?? 0Add to Reading List