- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Carlo Ghezzi, Andrea Mocci, Mattia Monga: Synthesizing intensional behavior models by graph transformation. ICSE 2009: 430-440 |
| 2008 | ||
| 2 | | Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008) |
| 2007 | ||
| 1 | | Carlo Ghezzi, Andrea Mocci, Mattia Monga: Efficient recovery of algebraic specifications for stateful components. IWPSE 2007: 98-105 |
| 1 | Luciano Baresi | [2] |
| 2 | Carlo Ghezzi | [1] [2] [3] |
| 3 | Mattia Monga | [1] [2] [3] |