Login / Signup

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

Daniela PohlAndreas Bollin
Published in: ENASE (Selected Papers) (2009)
Keyphrases