Levi Lúcio, Bentley Oakes
, Hans Vangheluwe
Rapport technique (2014)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Non disponible
Ce document n'est pas archivé dans PolyPublie
Adresse URL de PolyPublie:
Numéro du rapport:
SOCS-TR-2014.1
OAI:
oai:publications.polymtl.ca:56653
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:16
Citer en APA 7:
Lúcio, L., Oakes, B., & Vangheluwe, H. (2014). A technique for symbolically verifying properties of graph-based model transformations. (Rapport technique n° SOCS-TR-2014.1).
Statistiques
Aucune statistique n'est disponible.
