Login / Signup

Alloy: A New Technology for Software Modelling.

Daniel Jackson
Published in: TACAS (2002)
Keyphrases