6.2. Specification Adaptation

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


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