On the verification of ATL transformations using “off-the-shelf” SMT solvers

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Büttner, F. Egea, M. Cabot, J.
Editor:	R. France, J. Kazmeier, C. Atkinson, R. Breu
Book title:	Model Driven Engineering Languages and Systems, 15th Int. Conf., MODELS 2012	Number:	7590
Series:	LNCS
Address:	Innsbruck, Austria



@conference{Butt12, author = "F.B{\"u}ttner and M. Egea and J. Cabot", address = "Innsbruck, Austria", booktitle = "Model Driven Engineering Languages and Systems, 15th Int. Conf., MODELS 2012", editor = "R. France, J. Kazmeier, C. Atkinson, R. Breu", note = "partners: ATOS, INRIA Projects: NESSoS, Nouvelles Equipe Program of the Pays de la Loire Region. Tier B. ", number = "7590", series = "LNCS", title = "{O}n the verification of {ATL} transformations using “off-the-shelf” {SMT} sol", year = "2012", }
Note:	partners: ATOS, INRIA Projects: NESSoS, Nouvelles Equipe Program of the Pays de la Loire Region. Tier B.
[Bibtex]