Bentley Oakes
, Javier Troya, Levi Lucio, Manuel Wimmer
Communication écrite (2015)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Adresse URL de PolyPublie:
Nom de la conférence:
18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)
Lieu de la conférence:
Ottawa, Canada
Date(s) de la conférence:
2015-09-27 - 2015-10-02
Titre de la revue
:
Software and Systems Modeling
(
vol.
17
,
no
3
)
URL officielle:
OAI:
oai:publications.polymtl.ca:56266
ORCID
Date du dépôt:
02 nov. 2023 15:35
Dernière modification:
14 oct. 2026 14:15
Citer en APA 7:
Oakes, B., Troya, J., Lucio, L., & Wimmer, M. (septembre 2015). Full contract verification for ATL using symbolic execution [Communication écrite]. 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada. Publié dans Software and Systems Modeling, 17(3). https://doi.org/10.1007/s10270-016-0548-7
Statistiques
Dimensions
