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