Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.


1.3.1 Using refinement

A formal system supporting refinement can be used in a number of ways:


Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.