Gehan M. K. Selim, James R. Cordy, Juergen Dingel, Levi Lúcio and Bentley Oakes
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/56223/ |
|---|---|
| Conference Title: | 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) |
| Conference Location: | Ottawa, Ont. |
| Conference Date(s): | 2015-09-28 |
| Official URL: | https://ceur-ws.org/Vol-1500/paper1.pdf |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 25 Sep 2024 16:47 |
| Cite in APA 7: | Selim, G. M. K., Cordy, J. R., Dingel, J., Lúcio, L., & Oakes, B. (2015, September). Finding and fixing bugs in model transformations with formal verification: An experience report [Paper]. 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Ont.. https://ceur-ws.org/Vol-1500/paper1.pdf |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
