Login / Signup

A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models.

Mark AllisonPeter J. ClarkeXudong He
Published in: SCSE (2015)
Keyphrases