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 : vendredi 5 avril 2024-03:12:20
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
47
Consultations
0
Téléchargements