«

»

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

by Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
Reference:
Formal Verification Techniques for Model Transformations: A Tridimensional Classification (Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy), In Journal of Object Technology (JOT), volume 14, 2015.
Bibtex Entry:
@article{JOT:issue_2015_03/article1,
	Author = {Moussa Amrani and Beno{^i}t Combemale and Levi L{'u}cio and Gehan M. K. Selim and J{"u}rgen Dingel and Yves Le Traon and Hans Vangheluwe and James R. Cordy},
	Doi = {10.5381/jot.2015.14.3.a1},
	Issn = {1660-1769},
	Journal = {Journal of Object Technology (JOT)},
	Month = aug,
	Number = {3},
	Pages = {1:1-43},
	Title = {Formal Verification Techniques for Model Transformations: A Tridimensional Classification},
	Url = {http://www.jot.fm/contents/issue_2015_03/article1.html},
	Volume = {14},
	Year = {2015},
	Bdsk-Url-1 = {http://www.jot.fm/contents/issue_2015_03/article1.html},
	Bdsk-Url-2 = {http://dx.doi.org/10.5381/jot.2015.14.3.a1}}