| 2009 | ||
|---|---|---|
| 2 | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198 | |
| 2008 | ||
| 1 | Alessandro Fantechi, Alessio Ferrari: Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6 | |
| 1 | Stefano Bacherini | [2] |
| 2 | Alessandro Fantechi | [1] [2] |
| 3 | Niccolò Zingoni | [2] |