Concept Management: Identification and Storage of Concepts in the Focus of Formal Z Specifications.

Daniela Pohl, Andreas Bollin

Browse the full ENASE paper archive.