Bentley Oakes
, Javier Troya, Levi Lucio and Manuel Wimmer
Paper (2015)
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/56266/ |
|---|---|
| Conference Title: | 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) |
| Conference Location: | Ottawa, Canada |
| Conference Date(s): | 2015-09-27 - 2015-10-02 |
| Journal Title: | Software and Systems Modeling (vol. 17, no. 3) |
| DOI: | 10.1007/s10270-016-0548-7 |
| Official URL: | https://doi.org/10.1007/s10270-016-0548-7 |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 08 Apr 2025 12:22 |
| Cite in APA 7: | Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (2015, September). Full contract verification for ATL using symbolic execution [Paper]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Published in Software and Systems Modeling, 17(3). https://doi.org/10.1007/s10270-016-0548-7 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
