Login / Signup

Cooperation-based Invariants for OO Languages.

Ronald MiddelkoopCornelis HuizingRuurd KuiperErik J. Luit
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases