Verifying Graph Transformations with Guarded Logics - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2018
Fichier non déposé

Dates et versions

hal-02084211 , version 1 (29-03-2019)

Identifiants

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⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More