Alloy: A lightweight object modelling notation
Daniel Jackson[doi] [Google Scholar] [DBLP] [Citeseer]
ACM Transactions on Software Engineering and Methodology (TOSEM)
11(2)
ACM
New York, NY, USA
Pages 256-290
April 2002
Note(s): Alloy verifier, requirements specification
ACM
New York, NY, USA
Pages 256-290
April 2002
Note(s): Alloy verifier, requirements specification