rn Tu u

First Page		Document Content
Date: 2001-05-16 12:40:42 Uxbridge Massachusetts Blackstone River Sutton Massachusetts Douglas Massachusetts Millbury Massachusetts Worcester Massachusetts North Smithfield Rhode Island Historic mill villages of Woonsocket Blackstone Canal Geography of Massachusetts Worcester County Massachusetts Massachusetts		rn Tu u Add to Reading List Source URL: www.lib.utexas.edu Download Document from Source Website File Size: 592,21 KB Share Document on Facebook

	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA DocID: 1xW2y - View Document
	Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R. Smith1 1 2 DocID: 1xVCQ - View Document
	to appear in Automatic Program Development: a Tribute to Robert Paige, O. Danvy, F. Henglein, H. Mairson, and A. Pettorosi (Eds.), Springer-Verlag, 2006. Aspects as Invariants Douglas R. Smith Kestrel Institute DocID: 1xVxl - View Document
	Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue DocID: 1xVuR - View Document
	Composition and Renement of Behavioral Specications Dusko Pavlovic and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA DocID: 1xVpo - View Document