Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille LIFL(Univ. Lille) - Domain-specific language - Document - PDFSEARCH.IO

First Page		Document Content
		Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille) Add to Reading List Source URL: laure.gonnord.org Download Document from Source Website File Size: 602,40 KB Share Document on Facebook