- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |