Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications
Book chapter (January 2010)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (January 2010)
Book chapter (January 2006)
Book chapter (March 2002)