Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Automatically generating information from a Z specification to support the Classification Tree Method

Hierons, Rob and Harman, Mark and Singh, Harbhajan (2003) Automatically generating information from a Z specification to support the Classification Tree Method. In: 3<sup>rd</sup> International Conference of B and Z Users (ZB2003).

Full text not available from this repository.


Item Type:Conference or Workshop Item (UNSPECIFIED)
Additional Information:LNCS 2651
Subjects:UNSPECIFIED
ID Code:411
Deposited By:Prof Mark Harman
Deposited On:06 Nov 2007 15:46
Last Modified:06 Nov 2007 15:46

Repository Staff Only: item control page