3. Domain-specifikus nyelvek automatikus elemzése

Semester: 
2020. tavasz

Alloy eszköz letölthető az alábbi linkről:
https://alloytools.org/download/alloy4.2_2015-02-22.jar