PDF:
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
| Title | Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Semeráth, O. |
| Conference Name | ACM Student Research Competition at MODELS 2016 |
| Publisher | CEUR-WS |
| Conference Location | Saint-malo, France |
| Notes | co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research |
