Communication Dans Un Congrès
Année : 2018
Rachid Echahed : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02084211
Soumis le : vendredi 29 mars 2019-14:45:00
Dernière modification le : mercredi 18 décembre 2024-09:27:17
Citer
Jon Haël Brenas, Rachid Echahed, Martin Strecker. Verifying Graph Transformations with Guarded Logics. 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), Aug 2018, Guangzhou, China. pp.124-131, ⟨10.1109/TASE.2018.00024⟩. ⟨hal-02084211⟩
Collections
58
Consultations
0
Téléchargements