GReTA - Graph Transformation Theory and Applications
GReTA - Graph Transformation Theory and Applications
Home
Seminars
How to participate
Team
GReTA-ExACT
Rachid Echahed
CNRS Researcher in Computer Science
CNRS and Université Grenoble Alpes, France
Interests
Graph and Term Rewriting
Program Verification
Multiparadigm Programming
Cite
×