A short primer on the syntax and semantics of the modelling language and tool Alloy (alloy.mit.edu).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool