Revision as of 10:03, 25 October 2012 edit Vasywriter (talk \| contribs) 379 edits No edit summary ← Previous edit		Revision as of 15:16, 31 October 2012 edit undo Vasywriter (talk \| contribs) 379 edits No edit summary Next edit →
Line 2: {{refimprove\|date=September 2010}} Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification. == Program refinement ==

Refinement (computing): Difference between revisions