Levi Lucio, Bentley Oakes
, Claudio Gomes, Gehan M. K. Selim, Juergen Dingel, James R. Cordy and Hans Vangheluwe
Paper (2015)
 Open Acess document at official publisher |
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/56109/ |
|---|---|
| Conference Title: | Model Driven Engineering Languages and Systems (MODELS 2015) |
| Conference Location: | Ottawa, Ont. |
| Conference Date(s): | 2015-09-27 - 2015-10-02 |
| Official URL: | https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_... |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 25 Sep 2024 16:47 |
| Cite in APA 7: | Lucio, L., Oakes, B., Gomes, C., Selim, G. M. K., Dingel, J., Cordy, J. R., & Vangheluwe, H. (2015, September). SyVOLT: Full Model Transformation Verification Using Contract [Paper]. Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. https://ceur-ws.org/Vol-1554/PD_MoDELS_2015_paper_8.pdf |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
