TY  - CONF

T1  - Using Alloy to model-check visual design notations

JO  - Sixth Mexican International Conference on Computer Science, Proceedings

UR  - https://eprints.whiterose.ac.uk/98344/

PY  - 2005/12/01

AU  - Simons AJH

AU  - Fernandez CAFY

ED  - EstivillCastro V

ED  - Sanchez JA

SP  - 121

EP  - 128

Y2  - 2024/12/22

ER  -