5.1 Attribute Introduction

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


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