| |
| 2008 | ||
|---|---|---|
| 2 | EE | Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions. ECEASST 10: (2008) |
| 2007 | ||
| 1 | EE | 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 | Mattia Monga | [1] [2] |