Revision as of 21:42, 3 February 2007 edit 16@r (talk \| contribs) Extended confirmed users 30,867 edits m +fr ← Previous edit		Revision as of 21:34, 23 July 2007 edit undo Nonick (talk \| contribs) 139 edits m typo Next edit →
Line 6: [[Category:Formal methods]] The [[FermaT Transformation System]] is an industrial-~~strengh~~strength implementation of refinement. [[Category:Software engineering]]

Refinement (computing): Difference between revisions