PDF:
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
| Cím | Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers |
| Közlemény típusa | Conference Paper |
| Kiadás éve | 2016 |
| Szerzők | Semeráth, O. |
| Konferencia neve | ACM Student Research Competition at MODELS 2016 |
| Kiadó | CEUR-WS |
| Konferencia helyszíne | Saint-malo, France |
| Jegyzetek | co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research |
