Thèse de doctorat (2018)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Libre accès au texte intégral chez l'éditeur officiel
Directeurs ou directrices:
Adresse URL de PolyPublie:
Université/École:
McGill University
URL officielle:
OAI:
oai:publications.polymtl.ca:56661
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:16
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.
