An Institution for Graph Transformation

Andrea Corradini, Fabio Gadducci, Leila Ribeiro. An Institution for Graph Transformation. In Till Mossakowski, Hans-Jörg Kreowski, editors, Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Volume 7137 of Lecture Notes in Computer Science, pages 160-174, Springer, 2010. [doi]

Authors

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Leila Ribeiro

This author has not been identified. Look up 'Leila Ribeiro' in Google