Thèse de doctorat (2018)
 Document en libre accès chez l'éditeur officiel |
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document| Directeurs ou directrices: | Clark Verbrugge |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/56661/ |
| Université/École: | McGill University |
| URL officielle: | https://escholarship.mcgill.ca/concern/theses/3772... |
| Date du dépôt: | 02 nov. 2023 15:35 |
| Dernière modification: | 05 avr. 2024 12:04 |
| Citer en APA 7: | Oakes, B. (2018). A Symbolic Execution-Based Approach to Model Transformation Verification Using Structural Contracts [Thèse de doctorat, McGill University]. https://escholarship.mcgill.ca/concern/theses/37720g196 |
|---|---|
Statistiques
Aucune statistique n'est disponible.
Actions réservées au personnel
|
Afficher document |
