Formal Verification Integration Approach for DSML
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Faiez Zalila, Xavier Crégut, Marc Pantel
Formal Verification Integration Approach for DSML
MODELS, 2013.

MoDELS 2013
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{MoDELS-2013-ZalilaCP,
	author        = "Faiez Zalila and Xavier Crégut and Marc Pantel",
	booktitle     = "{Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems}",
	doi           = "10.1007/978-3-642-41533-3_21",
	editor        = "Ana M. D. Moreira and Bernhard Schätz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke",
	isbn          = "978-3-642-41532-6",
	pages         = "336--351",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Formal Verification Integration Approach for DSML}",
	volume        = 8107,
	year          = 2013,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.