4. Algorithm Refinement

The source code and proof output obtained for the source code found in section 4. Algorithm Refinement of the paper "Software Refinement with Perfect Developer".


http://www.cs.nuim.ie/toolap/pd/RefinementPD/Algorithm.html - Updated 27/06/2005