Login / Signup

An Overview of RoZ: A Tool for Integrating UML and Z Specifications.

Sophie DupuyYves LedruMonique Chabre-Peccoud
Published in: CAiSE (2000)
Keyphrases