Login / Signup

Integration of Z-based Semantics of OO-Notations.

Jürgen EbertRoger Süttenbach
Published in: ECOOP Workshops (1997)
Keyphrases