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

First Page		Document Content
Date: 2004-06-01 02:30:27		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 Source URL: www.cs.ru.nl Download Document from Source Website File Size: 122,54 KB Share Document on Facebook