Login / Signup

A Formal OO Method Inspired by Fusion and Object-Z.

Klaus AchatzWolfram Schulte
Published in: ZUM (1997)
Keyphrases