Communication Dans Un Congrès
Année : 2019
Akram Idani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03265298
Soumis le : samedi 19 juin 2021-21:57:12
Dernière modification le : vendredi 5 avril 2024-03:23:20
Dates et versions
Identifiants
- HAL Id : hal-03265298 , version 1
Citer
Akram Idani, German Eduardo Vega Baez, Michael Leuschel. Applying Formal Reasoning to Model Transformation: The Meeduse solution. 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, 2019, Amsterdam, Netherlands. ⟨hal-03265298⟩
Collections
31
Consultations
0
Téléchargements