| 000 | 00445nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 170725s9999 xx 000 0 und d | ||
| 100 | _aRohit Gheyi | ||
| 245 | 3 | _aAn idiom to represent data types in Alloy | |
| 245 | _cRohit Gheyi, Paulo Borba, Augusto Sampaio, Márcio Ribeiro | ||
| 260 | _c2017 | ||
| 300 | _apages 173-76, February | ||
| 440 |
_aInformation and software technology _v82: |
||
| 500 | _aCJ0029 | ||
| 650 | _aData types; Alloy | ||
| 999 |
_c340867 _d340867 |
||