Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley Oakes
Paper (2014)
Document published while its authors were not affiliated with Polytechnique Montréal
An external link is available for this item
| PolyPublie URL: | https://publications.polymtl.ca/56224/ |
|---|---|
| Conference Title: | 7th International Conference on Graph Transformation (ICGT 2014) held as part of Conference on Software Technologies - Applications and Foundations (STAF 2014) |
| Conference Location: | York, England |
| Conference Date(s): | 2014-07-22 - 2014-07-24 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-319-09108-2_8 |
| Official URL: | https://doi.org/10.1007/978-3-319-09108-2_8 |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 25 Sep 2024 16:47 |
| Cite in APA 7: | Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. (2014, July). Specification and verification of graph-based model transformation properties [Paper]. 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 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
