Levi Lúcio, Bentley Oakes
and Hans Vangheluwe
Technical Report (2014)
Document published while its authors were not affiliated with Polytechnique Montréal
This item is not archived in PolyPublie| PolyPublie URL: | https://publications.polymtl.ca/56653/ |
|---|---|
| Report number: | SOCS-TR-2014.1 |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 25 Sep 2024 16:48 |
| Cite in APA 7: | Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Technical Report n° SOCS-TR-2014.1). |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
