Login / Signup

Static Class Elements for Object-Z.

Thomas RuhrothHeike Wehrheim
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases