A Case Study on Proving Transformations Correct Stephen Fitzpatrick Kestrel Institute Palo Alto, California, USA - ALTO - Document - PDFSEARCH.IO

First Page	Meta Content
	A Case Study on Proving Transformations Correct Stephen Fitzpatrick Kestrel Institute Palo Alto, California, USA Add to Reading List Document Date: 2002-06-11 17:31:50 Open Document File Size: 48,74 KB Share Result on Facebook

A Case Study on Proving Transformations Correct Stephen Fitzpatrick Kestrel Institute Palo Alto, California, USAAdd to Reading List