TY  - RPRT
TI  - CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
AU  - Shahar Maoz
AU  - Jan Oliver Ringert
AU  - Bernhard Rumpe
PY  - 2014
UR  - https://arxiv.org/abs/1409.2314
ID  - 1409.2314
ER  -