Revision as of 01:51, 18 May 2008 edit Chanheigeorge (talk \| contribs) Extended confirmed users, Pending changes reviewers 226,674 edits mNo edit summary ← Previous edit		Revision as of 07:47, 26 May 2008 edit undo 198.152.13.67 (talk) No edit summary Next edit →
Line 6: [[Category:Formal methods]] [[Refinement calculus]] is one method for program refinement. The [[FermaT Transformation System]] is an industrial-strength implementation of refinement. [[Category:Formal methods]]

Refinement (computing): Difference between revisions