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
Alloy eszköz letölthető az alábbi linkről:
https://alloytools.org/download/alloy4.2_2015-02-22.jar