Revision as of 17:46, 4 November 2007 edit Adam Sampson (talk \| contribs) Extended confirmed users 617 edits m Fix botched edit ← Previous edit		Revision as of 21:18, 2 December 2007 edit undo Cander0000 (talk \| contribs) Extended confirmed users, Pending changes reviewers 10,089 edits refined category using AWB Next edit →
Line 8: The [[FermaT Transformation System]] is an industrial-strength implementation of refinement. [[Category:~~Software~~Formal ~~engineering~~methods]] {{soft-eng-stub}}

Refinement (computing): Difference between revisions