| |
| 2006 | ||
|---|---|---|
| 1 | EE | Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189 |
| 1 | Stefano Bacherini | [1] |
| 2 | Alessandro Fantechi | [1] |
| 3 | Matteo Tempestini | [1] |