Bentley Oakes
, Javier Troya, Levi Lucio et Manuel Wimmer
Communication écrite (2015)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| URL de PolyPublie: | https://publications.polymtl.ca/56266/ |
|---|---|
| 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) |
| DOI: | 10.1007/s10270-016-0548-7 |
| URL officielle: | https://doi.org/10.1007/s10270-016-0548-7 |
| Date du dépôt: | 02 nov. 2023 15:35 |
| Dernière modification: | 05 avr. 2024 12:03 |
| 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
Actions réservées au personnel
|
Afficher document |
