Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers

CímFormal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkSemeráth, O.
Konferencia neveACM Student Research Competition at MODELS 2016
KiadóCEUR-WS
Konferencia helyszíneSaint-malo, France
Jegyzetekco-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research
PDF: