Specification and verification of graph-based model transformation properties

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel, Bentley Oakes

Communication écrite (2014)

Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
9783319091082; 9783319091075
Adresse URL de PolyPublie:
Nom de la conférence:
7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014)
Lieu de la conférence:
York, England
Date(s) de la conférence:
2014-07-22 - 2014-07-24
Maison d'édition:
Springer
OAI:
oai:publications.polymtl.ca:56224
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:15
Citer en APA 7:
Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (juillet 2014). Specification and verification of graph-based model transformation properties [Communication écrite]. 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014), York, England. https://doi.org/10.1007/978-3-319-09108-2_8

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document