Documents publiés en "2018"

O

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). Lien externe