«

»

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

by Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
Reference:
A Tridimensional Approach for Studying the Formal Verification of Model Transformations (Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy), In Verification and validation Of model Transformations (VOLT), workshop at ICST 2012, IEEE, 2012.
Bibtex Entry:
@inproceedings{volt2012,
	Address = {Montreal, Canada},
	Author = {Amrani, Moussa and Lucio, Levi and Selim, Gehan and Combemale, Benoit and Dingel, J{"u}rgen and Vangheluwe, Hans and Le Traon, Yves and Cordy, James R.},
	Booktitle = {{Verification and validation Of model Transformations (VOLT), workshop at ICST 2012}},
	Month = Apr,
	Publisher = {IEEE},
	Title = {{A Tridimensional Approach for Studying the Formal Verification of Model Transformations}},
	Url = {http://hal.inria.fr/hal-00684717},
	Year = {2012},
	Bdsk-Url-1 = {http://hal.inria.fr/hal-00684717}}