Reference Manual

Click here to download the latest version of the UML2Alloy reference manual in pdf format.