To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ † - RYAN - Document - PDFSEARCH.IO

First Page	Meta Content
	To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ † Add to Reading List Document Date: 2009-02-25 10:33:23 Open Document File Size: 329,63 KB Share Result on Facebook

To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †Add to Reading List