Documents publiés en "2018"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Aller à : O

Nombre de documents: 1

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

Liste produite: Wed May 1 02:54:00 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0