6.1 Class Extension

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


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