Francesco Parisi-Presicce

Recent Trends in Algebraic Development Techniques

Graph Transformation