Home Publications

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

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • 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
partners: ATOS, INRIA Projects: NESSoS, Nouvelles Equipe Program of the Pays de la Loire Region. Tier B.