Specification and verification of graph-based model transformation properties

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

Communication écrite (2014)

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

Un lien externe est disponible pour ce document

URL de PolyPublie:	https://publications.polymtl.ca/56224/
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
DOI:	10.1007/978-3-319-09108-2_8
URL officielle:	https://doi.org/10.1007/978-3-319-09108-2_8
Date du dépôt:	02 nov. 2023 15:35
Dernière modification:	25 sept. 2024 16:47

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

APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistiques

Actions réservées au personnel