Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA - ALTO - Document - PDFSEARCH.IO

First Page	Meta Content
	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA Add to Reading List Document Date: 2005-10-11 03:37:12 Open Document File Size: 92,57 KB Share Result on Facebook

Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute Palo Alto, CAUSA Add to Reading List