Vol-1774⫷ Vol-1775 ⫸Vol-1776
urn:nbn:de:0074-1775-0


Vol-1775/MODELS2016-SRC_paper_7⫷Vol-1775/MODELS2016-SRC_paper_6⫸Vol-1775/MODELS2016-SRC_paper_3
Oszkár Semeráth

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