TY  - GEN

T1  - Using Alloy to model-check visual design notations

T2  - arXiv

PY  - 2008/02/15

AU  - Simons AJH

AU  - Fernandez-y-Fernandez CA

ED  - 

DO  - DOI: 10.48550/arxiv.0802.2258

Y2  - 2024/12/22

ER  -