PDF:
Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers
| Title | Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers |
| Publication Type | Thesis |
| Year of Publication | 2019 |
| Authors | Semeráth, O. |
| Advisor | Varró, D. |
| Academic Department | Department of Measurement and Information Systems |
| Degree | PhD |
| Number of Pages | 186 |
| Date Published | 03/2019 |
| University | Budapest University of Technology and Economics |
| City | Budapest |
| Refereed Designation | Refereed |
