Login / Signup

Towards a Small Model Theorem for Data Independent Systems in Alloy.

Lee Momtahan
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases