Example of using the Alloy modelling language to specify contracts for the operations of a software package.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool