@inproceedings{inproceedings, title  = {{Using Alloy to model-check visual design notations}},

 url = {{https://eprints.whiterose.ac.uk/98344/ }},

 year = {{2005}},

 month = {{12}},

 author = {{Simons AJH and Fernandez CAFY}},

 journal = {{Sixth Mexican International Conference on Computer Science, Proceedings}},

 pages = {{121-128}},

 note = {{Accessed on 2024/12/28}}}