Ph.D. Thesis (2018)
 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| Academic/Research Directors: | Clark Verbrugge |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/56661/ |
| Institution: | McGill University |
| Official URL: | https://escholarship.mcgill.ca/concern/theses/3772... |
| Date Deposited: | 02 Nov 2023 15:35 |
| Last Modified: | 25 Sep 2024 16:48 |
| Cite in APA 7: | Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Ph.D. Thesis, McGill University]. https://escholarship.mcgill.ca/concern/theses/37720g196 |
|---|---|
Statistics
Stats are not available on this system.
Repository Staff Only
|
View Item |
